Giter VIP home page Giter VIP logo

Comments (5)

berrythesoftwarecodeprogrammar avatar berrythesoftwarecodeprogrammar commented on August 24, 2024 2

@pyllyukko ive found a solution, so you can close this if you want. maybe add some information about it to the readme for curious users?

this article has all the information: http://kb.mozillazine.org/Locking_preferences

one has to create a local-settings.js file in their %APP%\defaults\pref folder. %APP% being the folder where the firefox or thunderbird executable resides (on windows). mine is D:\Program Files (x86)\Mozilla Thunderbird\defaults\pref\. the contents should be:

pref("general.config.obscure_value", 0);
pref("general.config.filename", "mozilla.cfg");

and then a mozilla.cfg file needs to be created in the same directory as the .exe e.g. D:\Program Files (x86)\Mozilla Thunderbird\ where entries can be added to override user.js. they can either be normal preferences (which override), or they can be locked preferences which no addon or anything can change once the application starts. e.g:

lockPref("gfx.downloadable_fonts.enabled",true); // a locked preference which wont change in about:config
pref("permissions.default.image",1); // a normal preference which can be changed in about:config

from user.js.

pyllyukko avatar pyllyukko commented on August 24, 2024 1

Cool, thanks. I added a note to the README.

from user.js.

 avatar commented on August 24, 2024

One possible solution is to add override.js and myuser.js to .gitignore. Then one can simply git pull && cat user.js override.js > myuser.js, no?

from user.js.

nodiscc avatar nodiscc commented on August 24, 2024

@mengele-chan it would be a decent solution if it is confirmed that entries at the end of the file actually override entries above.

from user.js.

 avatar commented on August 24, 2024

@nodiscc
See #54 (comment):

ok i just confirmed that when there are multiple entries of the same name, the later ones override the ones before them. so any user differences could just be appended to the bottom and they will override your settings.

and #75 (comment):

appending to the end of the file overrides previous entries but apparently that breaks git stuff

from user.js.

Related Issues (20)

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.