[Bug-gnuzilla] Profile Modification

[Ian D]

Everyone,

    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

mod-prefs.sh
Description: application/shellscript