diff options
Diffstat (limited to 'src/dock_checker.sh')
| -rwxr-xr-x | src/dock_checker.sh | 34 |
1 files changed, 0 insertions, 34 deletions
diff --git a/src/dock_checker.sh b/src/dock_checker.sh deleted file mode 100755 index 5b4f1f8..0000000 --- a/src/dock_checker.sh +++ /dev/null @@ -1,34 +0,0 @@ -#!/usr/bin/env zsh - -SCRIPT_DIR=$(dirname $(realpath $0)) -cd $SCRIPT_DIR - -rm .{un,}docked - -while true; do - if [ "$(./check_docked.sh)" = "docked" ]; then - if [ -e .docked ]; then - continue - fi - - echo docking... - - rm -f .undocked - sh/docked.sh - - touch .docked - else - if [ -e .undocked ]; then - continue - fi - - echo undocking... - - rm -f .docked - sh/undocked.sh - - touch .undocked - fi - - sleep 5 -done |
