wmii

git clone git://oldgit.suckless.org/wmii/
Log | Files | Refs | README | LICENSE

commit 8821624a06d18e5313db4666dfe0c1c3cfc0af05
parent a3ce9b00fae496fbdc47bff5d49d29a2152589e2
Author: Anselm R. Garbe <garbeam@wmii.de>
Date:   Thu,  9 Feb 2006 00:38:04 +0100

stylistic change


Diffstat:
rc/keys | 3++-
1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/rc/keys b/rc/keys @@ -8,6 +8,8 @@ if(test -r $PIDFILE) { } echo $pid >$PIDFILE +fn xwrite { echo -n $2 | wmiir write $1 } + fn sigint { if(test -f $PIDFILE && ~ `{cat $PIDFILE} $pid) rm -f $PIDFILE @@ -17,7 +19,6 @@ fn sigint { } wmiikeys -a $ADDRESS & -fn xwrite { echo -n $2 | wmiir write $1 } xwrite /ctl 'mount '^$ADDRESS^' /keys' sleep 1