diff options
Diffstat (limited to 'tools/bordtoggle')
-rwxr-xr-x | tools/bordtoggle | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/tools/bordtoggle b/tools/bordtoggle deleted file mode 100755 index 4b57c17..0000000 --- a/tools/bordtoggle +++ /dev/null @@ -1,12 +0,0 @@ -#!/bin/sh -# This shell script is PUBLIC DOMAIN. You may do whatever you want with it. - -TOGGLE=$HOME/.toggle - -if [ ! -e $TOGGLE ]; then - touch $TOGGLE - ratpoison -c "hideborder" -else - rm $TOGGLE - ratpoison -c "showborder" -fi |