From bc9afac2de6bcb047f4d3d0908022f8890b207a0 Mon Sep 17 00:00:00 2001 From: fluxgen Date: Tue, 17 Dec 2002 16:42:20 +0000 Subject: update from Han --- util/fluxbox-generate_menu | 42 +++++++++++++++++++++++++++--------------- 1 file changed, 27 insertions(+), 15 deletions(-) diff --git a/util/fluxbox-generate_menu b/util/fluxbox-generate_menu index 2e3cac3..da7cfad 100755 --- a/util/fluxbox-generate_menu +++ b/util/fluxbox-generate_menu @@ -22,7 +22,7 @@ # FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER # DEALINGS IN THE SOFTWARE. # -# $Id: fluxbox-generate_menu,v 1.19 2002/12/16 11:34:06 fluxgen Exp $ +# $Id: fluxbox-generate_menu,v 1.20 2002/12/17 16:42:20 fluxgen Exp $ WHOAMI=`whoami` [ "$WHOAMI" = "root" ] && PATH=/bin:/usr/bin/:/usr/local/bin:/usr/X11R6/bin @@ -30,9 +30,15 @@ WHOAMI=`whoami` # Functions display_usage() { cat < ${FILENAME} +# Generated by fluxbox-genereate_menu +# +# If you read this it means you want to edit this file manualy, +# so here are some usefull tips: +# +# - The -r option prevents removing of empty menu entries and makes +# thing much more readable. +# +# - To prevent any other app from overwriting your menu +# you can change the menu name in .fluxbox/init to: +# session.menuFile: /home/you/.fluxbox/my-menu + +EOF -echo "[begin] (${MENUTITLE})" > ${FILENAME} +echo "[begin] (${MENUTITLE})" >> ${FILENAME} append "[exec] (${DEFAULT_TERM}) {${DEFAULT_TERM}}" -- cgit v0.11.2