190e8449ce
- rename the directory from webgui to Phi - let the webserver's root point to Phi instead of Docs - redirect old /gui/ url to the new location (/)
18 lines
420 B
Bash
18 lines
420 B
Bash
#!/bin/bash
|
|
|
|
echo "["
|
|
THEMES=`ls 3rdparty/jquery-ui-themes-1.11.2/themes/`
|
|
set -- $THEMES
|
|
while [ $# -gt 0 ]; do
|
|
echo "{"
|
|
echo "\"theme_name\": \"$1\","
|
|
echo "\"theme_url\": \"3rdparty/jquiery-ui-themes-1.11.2/themes/$1/jquery-ui.css\","
|
|
echo "\"group\": \"Official\","
|
|
echo "\"active\": \"yes\","
|
|
echo "\"author\": \"jQuery Project\","
|
|
echo "\"license\": \"http://jquery.org/license\""
|
|
echo "},"
|
|
shift
|
|
done
|
|
echo "]"
|
|
|