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 | |
| parent | f1fe336ceadeeadb9cf56efb11d9d3d48c92fc51 (diff) | |
| download | fluxbox_paul-805fae9340003f3e9758d730bbe76b0d7dd8b0c1.zip fluxbox_paul-805fae9340003f3e9758d730bbe76b0d7dd8b0c1.tar.bz2 | |
this should be a whitespace separated list
Diffstat (limited to 'util')
| -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=" |