switch to user-override for customizations, fix the extension scopes

This commit is contained in:
idk
2022-08-07 19:33:10 -04:00
parent 3329925e73
commit 1657111ddb
2 changed files with 4 additions and 0 deletions

View File

@ -9,6 +9,8 @@ app-profile.tgz: app-profile
src/app-profile/user.js:
wget -O src/app-profile/user.js "https://github.com/arkenfox/user.js/raw/master/user.js"
sed -i 's|user_pref("extensions.autoDisableScopes", 15);|user_pref("extensions.autoDisableScopes", 0);|g src/app-profile/user.js
sed -i 's|user_pref("extensions.enabledScopes", 5);|user_pref("extensions.enabledScopes", 1);|g' src/app-profile/user.js
build/app-profile/user.js: build/app-profile src/app-profile/user.js
cp src/app-profile/user.js build/app-profile/user.js

View File

@ -10,6 +10,8 @@ profile.tgz: .version profile
src/profile/user.js:
wget -O src/profile/user.js "https://github.com/arkenfox/user.js/raw/master/user.js"
sed -i 's|user_pref("extensions.autoDisableScopes", 15);|user_pref("extensions.autoDisableScopes", 0);|g src/profile/user.js
sed -i 's|user_pref("extensions.enabledScopes", 5);|user_pref("extensions.enabledScopes", 1);|g' src/profile/user.js
build/profile/user.js: build/profile src/profile/user.js
cp src/profile/user.js build/profile/user.js