aboutsummaryrefslogtreecommitdiff
path: root/util
diff options
context:
space:
mode:
authorfluxgen <fluxgen>2002-10-22 09:26:45 (GMT)
committerfluxgen <fluxgen>2002-10-22 09:26:45 (GMT)
commitff62b8edce0e94648c7a16a2e989f9fec4260d1e (patch)
tree2b3afd3b7baafe3e3e3001a4930b9d0e0ec19955 /util
parent2bc5a3573e4b4e4320d8e6629493af2fbe4dabd6 (diff)
downloadfluxbox-ff62b8edce0e94648c7a16a2e989f9fec4260d1e.zip
fluxbox-ff62b8edce0e94648c7a16a2e989f9fec4260d1e.tar.bz2
update from Han
Diffstat (limited to 'util')
-rwxr-xr-xutil/fluxbox-generate_menu9
1 files changed, 8 insertions, 1 deletions
diff --git a/util/fluxbox-generate_menu b/util/fluxbox-generate_menu
index f21faaf..005ccb1 100755
--- a/util/fluxbox-generate_menu
+++ b/util/fluxbox-generate_menu
@@ -42,6 +42,7 @@ Options:
42 -a Display the authors of this script 42 -a Display the authors of this script
43 43
44 only for packagers: 44 only for packagers:
45
45 -p Package-datadir; default is /usr/local/share 46 -p Package-datadir; default is /usr/local/share
46 47
47EOF 48EOF
@@ -131,6 +132,12 @@ if [ -z ${FILENAME} ]; then
131 FILENAME=${HOME}/.fluxbox/menu 132 FILENAME=${HOME}/.fluxbox/menu
132fi 133fi
133 134
135# Can we actually create ${FILENAME}
136if ! touch ${FILENAME}; then
137 echo "Fatal error: can't create $FILENAME" >/dev/stderr
138 exit 1
139fi
140
134if [ ! -z ${FILENAME} ]; then 141if [ ! -z ${FILENAME} ]; then
135 if [ -w ${FILENAME} ]; then 142 if [ -w ${FILENAME} ]; then
136 cp -f ${FILENAME} ${FILENAME}.bak 143 cp -f ${FILENAME} ${FILENAME}.bak
@@ -166,7 +173,7 @@ fi
166 173
167# a unix system without any terms. that's odd 174# a unix system without any terms. that's odd
168if [ -z "$DEFAULT_TERM" ];then 175if [ -z "$DEFAULT_TERM" ];then
169 cat <<EOF 176 cat <<EOF>/dev/stderr
170Error: I can't find any terminal-emulators in your path. 177Error: I can't find any terminal-emulators in your path.
171Please specify your favourite terminal with the -t option. 178Please specify your favourite terminal with the -t option.
172EOF 179EOF