diff options
Diffstat (limited to 'tools/dummy_reset')
-rwxr-xr-x | tools/dummy_reset | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/tools/dummy_reset b/tools/dummy_reset deleted file mode 100755 index 36db140..0000000 --- a/tools/dummy_reset +++ /dev/null @@ -1,19 +0,0 @@ -#!/bin/sh - -if [ -n "$1" ]; then - DELAY="$1" -else - DELAY=5 -fi - -echo -n "Please press the reset button " -i=$DELAY -while (test $i -gt 0); do - sleep 1 - i=$(($i-1)) - echo -n "." -done - -echo "" - -exit 0 |