alan
/
config
1
0
Fork 0
Code Releases Activity
config/firefox
History
Alan Faubert 8ecadd2c40 firefox: disable recommended Pocket content 2023-11-23 20:05:51 -05:00
..
.gitignore rework symlinking and locations of several files 2021-11-13 17:06:05 -05:00
README.md firefox: add more Temporary Containers config 2023-06-02 09:37:18 -04:00
base_configuration.js firefox: disable recommended Pocket content 2023-11-23 20:05:51 -05:00
delete_cookies.js firefox: add comments describing settings 2021-10-16 19:53:01 -04:00
disable_history.js firefox: add comments describing settings 2021-10-16 19:53:01 -04:00
preserve_session.js firefox: add comments describing settings 2021-10-16 19:53:01 -04:00

README.md

Firefox

.gitignore'd

  • */ - folders whose names are +-separated concatenations of names of files in this directory (without their extensions) - these will be given user.js files constructed by concatenation of the base files, and will then be symlinked to from various Firefox profiles' user.js files
  • *.pac - proxy auto-config files - these too can be referred to in the above +-separated folder names

user.js handling (Windows-specific)

Create *.pac files containing proxy auto-config files.

Create empty directories whose names are assembled by concatenating the names of templates in this directory (without the .js or .pac extension) separated by +s.

There is a menu option in config.sh to generate (or regenerate) user.js files in these directories from their constituent templates, including adding the appropriate configuration to point to a particular *.pac file.

There is also a menu option in config.sh for creating symlinks from various Firefox profiles' user.js files to the assembled files.

Additional manual setup

For each profile:

Configuring PAC

To use an SSH tunnel as a SOCKS proxy for select domains, open a dynamic tunnel with:

$ ssh -D 8000 hostname

and use a manual proxy configuration file containing something like:

function FindProxyForURL(url, host) {
	return /(^|\.)(example\.com|example\.net)$/.test(host) ? 'SOCKS 127.0.0.1:8000' : 'DIRECT';
}