diff options
Diffstat (limited to 'scripts/fics_autorun')
-rwxr-xr-x | scripts/fics_autorun | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/scripts/fics_autorun b/scripts/fics_autorun new file mode 100755 index 0000000..fb77fef --- /dev/null +++ b/scripts/fics_autorun @@ -0,0 +1,14 @@ +#!/bin/csh +limit stacksize unlimited +while (1) + ps aux | grep "fics -p 5000" | grep -v grep >! fics.pid + if (-z fics.pid ) then +# echo "doing mv stuff and running fics" + cat console.txt >>! console.old + rm console.txt + fics -p 5000 >>&! console.txt + endif +# echo "sleeping..." + sleep 10 +end + |