[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Bug-gnuzilla] Profile Modification

From: Ian D
Subject: [Bug-gnuzilla] Profile Modification
Date: Wed, 06 Jun 2012 12:48:43 -0400
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:11.0) Gecko/20120522 Icedove/11.0


I whipped up a small shell script to modify the profile defaults (firefox.js), to ease porting from firefox. It takes as input the name (ex. dom.ipc.plugins.enabled), and a value to change it to. I've attached it to this email if you guys want to look it over. I'm thinking something similar to this added to 'make.icecat':

./mod-prefs.sh "extensions.getAddons.get.url" "http://www.gnu.org/software/gnuzilla/addons.html";

And similar lines for the other preferences that need to be changed.

Ian D

Attachment: mod-prefs.sh
Description: application/shellscript

reply via email to

[Prev in Thread] Current Thread [Next in Thread]