fix problem with building uncompressed source

This commit is contained in:
Tilman Kranz 2024-11-10 15:10:00 +01:00 committed by Tilman Kranz
parent e022080692
commit c264564bb8

View File

@ -39,30 +39,26 @@ rm -f "$jsdir"/myplayer.min.js
for js in \ for js in \
../mediaelement/build/mediaelement-and-player.min.js \ ../mediaelement/build/mediaelement-and-player.min.js \
../mediaelement-plugins/dist/playlist/playlist.min.js ../mediaelement-plugins/dist/playlist/playlist.min.js \
../jsmediatags/dist/jsmediatags.js
do do
echo "INFO: Appending $js ..." >&2 echo "INFO: Appending $js ..." >&2
cat $js >> "$jsdir"/myplayer.min.js cat $js >> "$jsdir"/myplayer.min.js
done done
for js in \ echo "INFO: Compressing player.js ..." >&2
id3-minimized.js \ yui-compressor player.js >> "$jsdir"/myplayer.min.js
player.js
do
echo "INFO: Compressing $js ..." >&2
yui-compressor "$js" >> "$jsdir"/myplayer.min.js
done
chmod 644 "$jsdir"/myplayer.min.js chmod 644 "$jsdir"/myplayer.min.js
echo "INFO: Javascript source was minimized to $jsdir/myplayer.min.js" >&2 echo "INFO: Javascript source was minimized to $jsdir/myplayer.min.js" >&2
rm -f ../js/myplayer.js rm -f "$jsdir"/myplayer.js
for js in \ for js in \
../mediaelement/build/mediaelement-and-player.js \ ../mediaelement/build/mediaelement-and-player.js \
../mediaelement-plugins/dist/playlist/playlist.js \ ../mediaelement-plugins/dist/playlist/playlist.js \
id3-minimized.js \ ../jsmediatags/dist/jsmediatags.min.js \
player.js player.js
do do
echo "INFO: Appending $js ..." >&2 echo "INFO: Appending $js ..." >&2