Window_Manager/ratpoison/paneltoggle


1
2
3
4
5
6
7
8
9
10
11
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