diff options
| author | Deathamns <deathamns@gmail.com> | 2014-11-23 18:21:06 +0100 |
|---|---|---|
| committer | Deathamns <deathamns@gmail.com> | 2014-11-23 18:21:06 +0100 |
| commit | 219eddab74093ebe4dbb9d929e499dcea469a142 (patch) | |
| tree | 63bc4c1e48b6f2860494dd7c95d16c64d3ff4f59 /tools/make-safari.sh | |
| parent | dffe9c79f83cca710a9e264db7c71aa2155ec8bc (diff) | |
| download | uBlock-219eddab74093ebe4dbb9d929e499dcea469a142.zip uBlock-219eddab74093ebe4dbb9d929e499dcea469a142.tar.gz uBlock-219eddab74093ebe4dbb9d929e499dcea469a142.tar.bz2 | |
Ports cleanup
- Remove duplicate platform specific (from src/) and other unnecessary
files
- Fix and update vapi-*.js files for Safari
- Add tools/make-safari.sh
- Move js/vapi-appinfo.js to meta/ (so, every vendor specific file will be
at the same location)
Diffstat (limited to 'tools/make-safari.sh')
| -rw-r--r-- | tools/make-safari.sh | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/tools/make-safari.sh b/tools/make-safari.sh new file mode 100644 index 0000000..a681b0e --- /dev/null +++ b/tools/make-safari.sh @@ -0,0 +1,22 @@ +#!/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 meta/vapi-appinfo.js $DES/js/ +cp meta/safariextz/*.js $DES/js/ +cp meta/safariextz/Info.plist $DES/ +cp meta/safariextz/Settings.plist $DES/ +echo "*** uBlock.safariextension: Package done." |