wmii

commit 1ef66d2eed913a3083ea53a6d4ca4d423e2f6911
parent 66441bf03bb93f8f6dc1c21bc750315887d917b7
Author: Anselm R. Garbe <garbeam@wmii.de>
Date:   Sat, 11 Feb 2006 14:14:12 +0100

speed hack for PATH menu


Diffstat:
rc/wmiirc
 | 
4
+++-

1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/rc/wmiirc b/rc/wmiirc
@@ -96,6 +96,8 @@ fn items {
         }
     } | sort
 }
+rm -f /tmp/ns.$USER.$DISPLAY/p.menu
+@ items $OLD_PATH > /tmp/ns.$USER.$DISPLAY/p.menu
 
 # MISC
 xsetroot -solid '#1a1c10'
@@ -119,7 +121,7 @@ while(event=`{read}) {
 		case $MODKEY-Control-q,y
 			xwrite /ctl quit
 		case $MODKEY-Control-p
-			extern `{items $OLD_PATH | wmiimenu} &
+			extern `{cat /tmp/ns.$USER.$DISPLAY/p.menu | wmiimenu} &
 		case $MODKEY-Control-a
 			`{items CONFPREFIX/wmii-3:$HOME/.wmii-3 | wmiimenu} &
 		case $MODKEY-t