all repos — fluxbox @ ff62b8edce0e94648c7a16a2e989f9fec4260d1e

custom fork of the fluxbox windowmanager

update from Han
fluxgen fluxgen
commit

ff62b8edce0e94648c7a16a2e989f9fec4260d1e

parent

2bc5a3573e4b4e4320d8e6629493af2fbe4dabd6

1 files changed, 8 insertions(+), 1 deletions(-)

jump to
M util/fluxbox-generate_menuutil/fluxbox-generate_menu

@@ -42,6 +42,7 @@ -h Display this help

-a Display the authors of this script only for packagers: + -p Package-datadir; default is /usr/local/share EOF

@@ -131,6 +132,12 @@ if [ -z ${FILENAME} ]; then

FILENAME=${HOME}/.fluxbox/menu fi +# Can we actually create ${FILENAME} +if ! touch ${FILENAME}; then + echo "Fatal error: can't create $FILENAME" >/dev/stderr + exit 1 +fi + if [ ! -z ${FILENAME} ]; then if [ -w ${FILENAME} ]; then cp -f ${FILENAME} ${FILENAME}.bak

@@ -166,7 +173,7 @@

# a unix system without any terms. that's odd if [ -z "$DEFAULT_TERM" ];then - cat <<EOF + cat <<EOF>/dev/stderr Error: I can't find any terminal-emulators in your path. Please specify your favourite terminal with the -t option. EOF