diff options
author | fluxgen <fluxgen> | 2004-08-19 00:29:10 (GMT) |
---|---|---|
committer | fluxgen <fluxgen> | 2004-08-19 00:29:10 (GMT) |
commit | 4880a19cf8b45e46d0b2058d0ac163949ecf8a2f (patch) | |
tree | 2016bf6b087bd1a8b1da91785d3d81b24ea5d618 /util/fluxbox-generate_menu.in | |
parent | 3dc71037822283699cccc42b67fe44fe487468ec (diff) | |
download | fluxbox_paul-4880a19cf8b45e46d0b2058d0ac163949ecf8a2f.zip fluxbox_paul-4880a19cf8b45e46d0b2058d0ac163949ecf8a2f.tar.bz2 |
update from Han
Diffstat (limited to 'util/fluxbox-generate_menu.in')
-rwxr-xr-x | util/fluxbox-generate_menu.in | 19 |
1 files changed, 10 insertions, 9 deletions
diff --git a/util/fluxbox-generate_menu.in b/util/fluxbox-generate_menu.in index 4d51e82..112184b 100755 --- a/util/fluxbox-generate_menu.in +++ b/util/fluxbox-generate_menu.in | |||
@@ -22,7 +22,7 @@ | |||
22 | # FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER | 22 | # FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER |
23 | # DEALINGS IN THE SOFTWARE. | 23 | # DEALINGS IN THE SOFTWARE. |
24 | # | 24 | # |
25 | # $Id: fluxbox-generate_menu.in,v 1.25 2004/08/05 22:53:49 rathnor Exp $ | 25 | # $Id: fluxbox-generate_menu.in,v 1.26 2004/08/19 00:29:10 fluxgen Exp $ |
26 | 26 | ||
27 | # | 27 | # |
28 | # Portability notes: | 28 | # Portability notes: |
@@ -1284,13 +1284,14 @@ if [ ! "${REMOVE}" ]; then | |||
1284 | clean_up | 1284 | clean_up |
1285 | fi | 1285 | fi |
1286 | 1286 | ||
1287 | echo 'Menu successfully generated.' | 1287 | if [ -z "$INSTALL" ]; then |
1288 | echo 'Use fluxbox-generate_menu -h to read about all the latest features.' | 1288 | if [ -z "$CHECKINIT" ]; then |
1289 | 1289 | INITMENUFILENAME=`awk '/menuFile/ {print $2}' $HOME/.fluxbox/init` | |
1290 | if [ -z "$CHECKINIT" ]; then | 1290 | cmp $INITMENUFILENAME $MENUFILENAME 2> /dev/null |
1291 | INITMENUFILENAME=`awk '/menuFile/ {print $2}' $HOME/.fluxbox/init` | 1291 | if [ $? -ne 0 ]; then |
1292 | cmp $INITMENUFILENAME $MENUFILENAME 2> /dev/null | 1292 | echo "Warning: Your $HOME/.fluxbox/init does not point to $MENUFILENAME but to $INITMENUFILENAME" >&2 |
1293 | if [ $? -ne 0 ]; then | 1293 | fi |
1294 | echo "Warning: Your $HOME/.fluxbox/init does not point to $MENUFILENAME but to $INITMENUFILENAME" >&2 | ||
1295 | fi | 1294 | fi |
1295 | echo 'Menu successfully generated.' | ||
1296 | echo 'Use fluxbox-generate_menu -h to read about all the latest features.' | ||
1296 | fi | 1297 | fi |