Skip to content

Instantly share code, notes, and snippets.

@edwindotcom
Created March 6, 2014 21:54
Show Gist options
  • Save edwindotcom/9400506 to your computer and use it in GitHub Desktop.
Save edwindotcom/9400506 to your computer and use it in GitHub Desktop.
#!/bin/bash
if [ "$1" == "" ]; then
echo 'appends pref to your profile pref.js'
echo 'Usage: ./addPref.bash [path to prefs.js]'
exit
fi
pref0="user_pref(\"services.sync.log.appender.file.logOnSuccess\", true);"
echo $pref0 >> $1
echo "pref added"
tail -n 2 "$1"
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment