update.js applied

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