diff options
Diffstat (limited to 'lib/scripts/jquery/update.sh')
| -rwxr-xr-x | lib/scripts/jquery/update.sh | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/lib/scripts/jquery/update.sh b/lib/scripts/jquery/update.sh index bea9206db..3bc2c761e 100755 --- a/lib/scripts/jquery/update.sh +++ b/lib/scripts/jquery/update.sh @@ -5,6 +5,7 @@ # It also loads the 'smoothness' jQuery-UI theme and all referenced images. # # @author Andreas Gohr <andi@splitbrain.org> +# @author Stefan Grönke <stefan@gronke.net> # @link https://code.google.com/apis/libraries/devguide.html#jquery # load jQuery @@ -17,13 +18,9 @@ wget -nv https://ajax.googleapis.com/ajax/libs/jqueryui/1/jquery-ui.js -O jq # load the smoothness theme mkdir -p jquery-ui-theme/images -wget -nv https://ajax.googleapis.com/ajax/libs/jqueryui/1/themes/smoothness/jquery-ui.css -O jquery-ui-theme/smoothness.css.ori +wget -nv -qO- https://ajax.googleapis.com/ajax/libs/jqueryui/1/themes/smoothness/jquery-ui.css | sed "s/font-family:[^;]*;//" > jquery-ui-theme/smoothness.css images=`gawk 'match($0, /url\((images\/[^\)]+)\)/, m) { print m[1] }' jquery-ui-theme/smoothness.css` for img in $images do wget -nv https://ajax.googleapis.com/ajax/libs/jqueryui/1/themes/smoothness/$img -O jquery-ui-theme/$img -done - -# remove font family declarations from smoothness CSS -cat jquery-ui-theme/smoothness.css.ori | sed "s/font-family:[^;]*;//" > jquery-ui-theme/smoothness.css -rm jquery-ui-theme/smoothness.css.ori
\ No newline at end of file +done
\ No newline at end of file |