diff --git a/site/fichiersRPI/fichiersRPI.zip b/site/fichiersRPI/fichiersRPI.zip index a653a2f..52a6558 100644 Binary files a/site/fichiersRPI/fichiersRPI.zip and b/site/fichiersRPI/fichiersRPI.zip differ diff --git a/site/fichiersRPI/lancer.sh b/site/fichiersRPI/lancer.sh new file mode 100755 index 0000000..64d0921 --- /dev/null +++ b/site/fichiersRPI/lancer.sh @@ -0,0 +1,5 @@ +#!/bin/sh + +kill $(cat /var/run/script.pid) +base=`dirname $0` +nohup $base/script.sh & -- libgit2 0.21.2