diff options
-rwxr-xr-x | util/fluxbox-generate_menu | 9 |
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 | ||
47 | EOF | 48 | EOF |
@@ -131,6 +132,12 @@ if [ -z ${FILENAME} ]; then | |||
131 | FILENAME=${HOME}/.fluxbox/menu | 132 | FILENAME=${HOME}/.fluxbox/menu |
132 | fi | 133 | fi |
133 | 134 | ||
135 | # Can we actually create ${FILENAME} | ||
136 | if ! touch ${FILENAME}; then | ||
137 | echo "Fatal error: can't create $FILENAME" >/dev/stderr | ||
138 | exit 1 | ||
139 | fi | ||
140 | |||
134 | if [ ! -z ${FILENAME} ]; then | 141 | if [ ! -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 |
168 | if [ -z "$DEFAULT_TERM" ];then | 175 | if [ -z "$DEFAULT_TERM" ];then |
169 | cat <<EOF | 176 | cat <<EOF>/dev/stderr |
170 | Error: I can't find any terminal-emulators in your path. | 177 | Error: I can't find any terminal-emulators in your path. |
171 | Please specify your favourite terminal with the -t option. | 178 | Please specify your favourite terminal with the -t option. |
172 | EOF | 179 | EOF |