+
+
+
+ ## begin handlers customization
+ ## the default file doesn't exist anymore. i customized it to open magnet links,
+ ## it might work with removing the default stuff and keeping the magnet link part,
+ ## but I'd have to test and I don't care that much.
+ # dest=/a/opt/tor-browser/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 &>/dev/null; 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/Browser/TorBrowser/Data/Browser/profile.default/user.js
+