diff --git a/raspberry/lancer.sh b/raspberry/lancer.sh new file mode 100644 index 0000000..64d0921 --- /dev/null +++ b/raspberry/lancer.sh @@ -0,0 +1,5 @@ +#!/bin/sh + +kill $(cat /var/run/script.pid) +base=`dirname $0` +nohup $base/script.sh & diff --git a/raspberry/script.sh b/raspberry/script.sh index b747ffc..39734d5 100755 --- a/raspberry/script.sh +++ b/raspberry/script.sh @@ -1,4 +1,7 @@ #!/bin/sh + +echo $$ > /var/run/script.pid + ./load.sh while true do -- libgit2 0.21.2