Rev 12879 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 12879 | Rev 13377 | ||
---|---|---|---|
Line 6... | Line 6... | ||
6 | test=!defof theme_hide in wimshome/public_html/themes/$i/.def |
6 | test=!defof theme_hide in wimshome/public_html/themes/$i/.def |
7 | !if yes notin $test |
7 | !if yes notin $test |
8 | themelist=!append item $i to $themelist |
8 | themelist=!append item $i to $themelist |
9 | !endif |
9 | !endif |
10 | !next i |
10 | !next i |
11 | iconlist=!sh cd gifs/themes; ls -d */ | sort |
11 | iconlist=!sh cd gifs/themes; ls -d */ | sort -f |
12 | iconlist=!replace internal / by in $iconlist |
12 | iconlist=!replace internal / by in $iconlist |
13 | iconlist=!words2items $iconlist |
13 | iconlist=!words2items $iconlist |
14 | !for icon_theme in $iconlist |
14 | !for icon_theme in $iconlist |
15 | !set icon_title=!defof title in wimshome/public_html/gifs/themes/$icon_theme/INDEX |
15 | !set icon_title=!defof title in wimshome/public_html/gifs/themes/$icon_theme/INDEX |
16 | !set iconpromptlist=!append item $icon_title to $iconpromptlist |
16 | !set iconpromptlist=!append item $icon_title to $iconpromptlist |