# not already installed
rm -rf tor-browser_en-US
tar Jxf $f
+
+ ## begin handlers customization
+ dest=/a/opt/tor-browser_en-US/Browser/TorBrowser/Data/Browser/profile.default/handlers.json
+ orig=/p/c/tor-handlers-orig.json
+ src=/p/c/tor-handlers.json
+ if diff -q $src $dest; then
+ echo "Error: handlers file changed. adjust based on upstream"
+ exit 1
+ fi
+ cp $src $dest
+ ## end handlers customization
+
+ cp /p/c/tor-user.js /a/opt/tor-browser_en-US/Browser/TorBrowser/Data/Browser/profile.default/user.js
+
fi
for x in tor-*.tar.xz; do