From 85c6af610c987b9fdd947717b61a34f37340c874 Mon Sep 17 00:00:00 2001 From: Alan Faubert Date: Thu, 2 Dec 2021 09:50:19 -0500 Subject: [PATCH] firefox: adjust readme --- firefox/README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/firefox/README.md b/firefox/README.md index 552478a..7f5946e 100644 --- a/firefox/README.md +++ b/firefox/README.md @@ -2,14 +2,14 @@ ## `.gitignore`'d -- `*/` - folders whose names are `+`-separated concatenations of base names of files in this directory - these will be given `user.js` files constructed by concatenation of the base files, and will be symlinked to from various Firefox profiles' `user.js` files -- `*.pac` - proxy auto-config files - these too can be referred to in the above `configs/*` files +- `*/` - 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 base names of templates in this directory (without the `.js` or `.pac` extension) separated by `+`s. +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.