diff options
author | markt <markt> | 2007-05-14 20:59:22 (GMT) |
---|---|---|
committer | markt <markt> | 2007-05-14 20:59:22 (GMT) |
commit | 805fae9340003f3e9758d730bbe76b0d7dd8b0c1 (patch) | |
tree | d253a116e3735b36a44758c18e45005001093bc2 /util/fluxbox-generate_menu.in | |
parent | f1fe336ceadeeadb9cf56efb11d9d3d48c92fc51 (diff) | |
download | fluxbox-805fae9340003f3e9758d730bbe76b0d7dd8b0c1.zip fluxbox-805fae9340003f3e9758d730bbe76b0d7dd8b0c1.tar.bz2 |
this should be a whitespace separated list
Diffstat (limited to 'util/fluxbox-generate_menu.in')
-rwxr-xr-x | util/fluxbox-generate_menu.in | 32 |
1 files changed, 16 insertions, 16 deletions
diff --git a/util/fluxbox-generate_menu.in b/util/fluxbox-generate_menu.in index 52ded26..c5f0dd5 100755 --- a/util/fluxbox-generate_menu.in +++ b/util/fluxbox-generate_menu.in | |||
@@ -1326,22 +1326,22 @@ while [ $# -gt 0 ]; do | |||
1326 | -g) GNOMEMENU=yes; shift;; | 1326 | -g) GNOMEMENU=yes; shift;; |
1327 | -in) NO_ICON=yes; shift;; | 1327 | -in) NO_ICON=yes; shift;; |
1328 | -is) OTHER_ICONPATHS=" | 1328 | -is) OTHER_ICONPATHS=" |
1329 | /usr/share/icons, | 1329 | /usr/share/icons |
1330 | /usr/share/icons/mini, | 1330 | /usr/share/icons/mini |
1331 | /usr/share/pixmaps, | 1331 | /usr/share/pixmaps |
1332 | /usr/local/share/icons, | 1332 | /usr/local/share/icons |
1333 | /usr/local/share/icons/mini, | 1333 | /usr/local/share/icons/mini |
1334 | /usr/local/share/pixmaps, | 1334 | /usr/local/share/pixmaps |
1335 | /usr/share/xclass/icons, | 1335 | /usr/share/xclass/icons |
1336 | /usr/share/xclass/pixmaps, | 1336 | /usr/share/xclass/pixmaps |
1337 | /usr/local/share/xclass/icons, | 1337 | /usr/local/share/xclass/icons |
1338 | /usr/local/share/xclass/pixmaps, | 1338 | /usr/local/share/xclass/pixmaps |
1339 | /usr/X11R6/share/icons/default/16x16, | 1339 | /usr/X11R6/share/icons/default/16x16 |
1340 | /usr/X11R6/share/icons/kde/16x16, | 1340 | /usr/X11R6/share/icons/kde/16x16 |
1341 | /usr/X11R6/share/icons/hicolor/16x16, | 1341 | /usr/X11R6/share/icons/hicolor/16x16 |
1342 | /usr/local/X11R6/share/icons/default/16x16, | 1342 | /usr/local/X11R6/share/icons/default/16x16 |
1343 | /usr/local/X11R6/share/icons/kde/16x16, | 1343 | /usr/local/X11R6/share/icons/kde/16x16 |
1344 | /usr/local/X11R6/share/icons/hicolor/16x16, | 1344 | /usr/local/X11R6/share/icons/hicolor/16x16 |
1345 | " | 1345 | " |
1346 | shift;; | 1346 | shift;; |
1347 | -ds) OTHER_DESKTOP_PATHS=" | 1347 | -ds) OTHER_DESKTOP_PATHS=" |