From 07bb6a9c63925a1585f846eee59e238fa4eb279a Mon Sep 17 00:00:00 2001 From: Markus Uhlin Date: Sat, 23 Dec 2023 00:59:38 +0100 Subject: Deleted 'fics_autorun' --- scripts/fics_autorun | 14 -------------- 1 file changed, 14 deletions(-) delete mode 100755 scripts/fics_autorun (limited to 'scripts') diff --git a/scripts/fics_autorun b/scripts/fics_autorun deleted file mode 100755 index fb77fef..0000000 --- a/scripts/fics_autorun +++ /dev/null @@ -1,14 +0,0 @@ -#!/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 - -- cgit v1.2.3