diff options
| author | Vasil Zlatanov <vasil.zlatanov@gmail.com> | 2015-04-12 13:05:47 +0200 |
|---|---|---|
| committer | Vasil Zlatanov <vasil.zlatanov@gmail.com> | 2015-04-12 13:05:47 +0200 |
| commit | 47a0a3f433f820fc78d180884f6ca376fba97b73 (patch) | |
| tree | 587b80062ebdb947d26ca7a70e32b38b7d67ca45 /tools/paneltoggle | |
| parent | 269e617fea39658233db38ad503030c4fe040e80 (diff) | |
| download | dotfiles-47a0a3f433f820fc78d180884f6ca376fba97b73.tar.gz dotfiles-47a0a3f433f820fc78d180884f6ca376fba97b73.tar.bz2 dotfiles-47a0a3f433f820fc78d180884f6ca376fba97b73.zip | |
Tidy up everything :)
Diffstat (limited to 'tools/paneltoggle')
| -rwxr-xr-x | tools/paneltoggle | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/tools/paneltoggle b/tools/paneltoggle new file mode 100755 index 0000000..5e665bb --- /dev/null +++ b/tools/paneltoggle @@ -0,0 +1,12 @@ +#!/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 hidepanel +else + rm $TOGGLE + ratpoison -c showpanel +fi |