mirror of
https://github.com/gorhill/uBlock.git
synced 2024-11-11 01:28:00 +01:00
25cf80838b
Since there is no API for localization in Safari, we read the locale files every time when an extension page opens. This commit adds a new file "make-locale-safari.py", which will make the size of the locale files smaller.
25 lines
613 B
Bash
25 lines
613 B
Bash
#!/bin/bash
|
|
#
|
|
# This script assumes a linux environment
|
|
|
|
echo "*** uBlock.safariextension: Copying files"
|
|
DES=dist/build/uBlock.safariextension
|
|
rm -r $DES
|
|
mkdir -p $DES
|
|
cp -R assets $DES/
|
|
rm $DES/assets/*.sh
|
|
cp -R src/css $DES/
|
|
cp -R src/img $DES/
|
|
cp -R src/js $DES/
|
|
cp -R src/lib $DES/
|
|
cp -R src/_locales $DES/
|
|
cp src/*.html $DES/
|
|
cp src/img/icon_128.png $DES/Icon.png
|
|
cp platform/safari/*.js $DES/js/
|
|
cp platform/safari/Info.plist $DES/
|
|
cp platform/safari/Settings.plist $DES/
|
|
|
|
echo "*** uBlock_xpi: Generating locales"
|
|
python tools/make-locale-safari.py $DES/
|
|
|
|
echo "*** uBlock.safariextension: Package done."
|