diff options
author | markt <markt> | 2007-05-14 20:57:26 (GMT) |
---|---|---|
committer | markt <markt> | 2007-05-14 20:57:26 (GMT) |
commit | 85139c733ebea2dd9c1b2bd927438b7c01113f21 (patch) | |
tree | 39055b6ef827507d7e248457d02f2a069129d9ba | |
parent | d698c43e6387e07348265436c44cf2d2be299a5b (diff) | |
download | fluxbox-85139c733ebea2dd9c1b2bd927438b7c01113f21.zip fluxbox-85139c733ebea2dd9c1b2bd927438b7c01113f21.tar.bz2 |
this should be a whitespace separated list
-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 462af60..f94edd0 100755 --- a/util/fluxbox-generate_menu.in +++ b/util/fluxbox-generate_menu.in | |||
@@ -1288,22 +1288,22 @@ while [ $# -gt 0 ]; do | |||
1288 | -g) GNOMEMENU=yes; shift;; | 1288 | -g) GNOMEMENU=yes; shift;; |
1289 | -in) NO_ICON=yes; shift;; | 1289 | -in) NO_ICON=yes; shift;; |
1290 | -is) OTHER_ICONPATHS=" | 1290 | -is) OTHER_ICONPATHS=" |
1291 | /usr/share/icons, | 1291 | /usr/share/icons |
1292 | /usr/share/icons/mini, | 1292 | /usr/share/icons/mini |
1293 | /usr/share/pixmaps, | 1293 | /usr/share/pixmaps |
1294 | /usr/local/share/icons, | 1294 | /usr/local/share/icons |
1295 | /usr/local/share/icons/mini, | 1295 | /usr/local/share/icons/mini |
1296 | /usr/local/share/pixmaps, | 1296 | /usr/local/share/pixmaps |
1297 | /usr/share/xclass/icons, | 1297 | /usr/share/xclass/icons |
1298 | /usr/share/xclass/pixmaps, | 1298 | /usr/share/xclass/pixmaps |
1299 | /usr/local/share/xclass/icons, | 1299 | /usr/local/share/xclass/icons |
1300 | /usr/local/share/xclass/pixmaps, | 1300 | /usr/local/share/xclass/pixmaps |
1301 | /usr/X11R6/share/icons/default/16x16, | 1301 | /usr/X11R6/share/icons/default/16x16 |
1302 | /usr/X11R6/share/icons/kde/16x16, | 1302 | /usr/X11R6/share/icons/kde/16x16 |
1303 | /usr/X11R6/share/icons/hicolor/16x16, | 1303 | /usr/X11R6/share/icons/hicolor/16x16 |
1304 | /usr/local/X11R6/share/icons/default/16x16, | 1304 | /usr/local/X11R6/share/icons/default/16x16 |
1305 | /usr/local/X11R6/share/icons/kde/16x16, | 1305 | /usr/local/X11R6/share/icons/kde/16x16 |
1306 | /usr/local/X11R6/share/icons/hicolor/16x16, | 1306 | /usr/local/X11R6/share/icons/hicolor/16x16 |
1307 | " | 1307 | " |
1308 | shift;; | 1308 | shift;; |
1309 | -ds) OTHER_DESKTOP_PATHS=" | 1309 | -ds) OTHER_DESKTOP_PATHS=" |