diff options
Diffstat (limited to 'move/tree/X_move')
| -rwxr-xr-x | move/tree/X_move | 16 | 
1 files changed, 0 insertions, 16 deletions
| diff --git a/move/tree/X_move b/move/tree/X_move deleted file mode 100755 index dde4bcc32..000000000 --- a/move/tree/X_move +++ /dev/null @@ -1,16 +0,0 @@ -#!/bin/bash - -ok=0 -lastdate1=0 -lastdate0=0 -while [ "$ok" == 0 -a ! -s /var/run/rebootctl ]; do -    lastdate2=$lastdate1 -    lastdate1=$lastdate0 -    lastdate0=`date +%s` -    if [ `expr $lastdate0 - $lastdate2` -lt 40 ]; then -        echo "X server respawning too fast :(, dropping to a shell" -        bash -    fi -    X $@ -    ok=$? -done | 
