From d923956d4866beb5093c89e0c1a4f54a9c37070f Mon Sep 17 00:00:00 2001 From: Vasil Zlatanov Date: Tue, 18 Aug 2015 01:39:43 +0200 Subject: major fixes and rearrangement --- tools/bordtoggle | 12 ------------ 1 file changed, 12 deletions(-) delete mode 100755 tools/bordtoggle (limited to 'tools/bordtoggle') 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 -- cgit v1.2.3-54-g00ecf