Bug 934671 - Add edit-prefs.sh to make it easier to modify preference…

…s. r=jld
shawnbow · Nov 4, 2013 · 05cbbf0 · 05cbbf0
1 parent 5a5ab32
commit 05cbbf0
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/edit-prefs.sh b/edit-prefs.sh
@@ -0,0 +1,13 @@
+#!/bin/bash
+set -e
+
+[ -z "$EDITOR" ] && EDITOR=vi
+
+PREFS_JS=$(adb shell echo -n "/data/b2g/mozilla/*.default")/prefs.js
+echo "Pulling preferences: $PREFS_JS"
+adb pull $PREFS_JS
+$EDITOR prefs.js
+echo "Pushing and restarting"
+adb shell stop b2g
+adb push prefs.js $PREFS_JS
+adb shell start b2g