diff .bashrc @ 649:fbfc02ea7d8e

make our menu generator slightly less vulgar
author Jeff Hammel <k0scist@gmail.com>
date Sat, 22 Mar 2014 01:15:26 -0700
parents c6d3bfb2a21c
children 66a7729aa049
line wrap: on
line diff
--- a/.bashrc	Sat Mar 15 16:44:31 2014 -0700
+++ b/.bashrc	Sat Mar 22 01:15:26 2014 -0700
@@ -618,18 +618,17 @@
     . ${COGNET_BASHRC}
 fi
 
-### regenerate fluxbox menus here for convenience
 if type deactivate &> /dev/null
 then
 deactivate
 fi
+
+### regenerate fluxbox menus here for convenience
 MENU=~/web/site/programs.html
 regeneratefluxmenu() {
-    if [ -e $MENU ]
+    if [ -e "${MENU}" ]
     then
-        # XXX could be safer
-        # XXX ...along with the fluxbox menu option o_O
-        html2flux.py $MENU > ~/.fluxbox/applications
+        html2flux.py "${MENU}" -o ~/.fluxbox/applications
     fi
 }
 regeneratefluxmenu