prefs-lines2js.sh (262B)
1 #!/bin/sh 2 3 while read -r key; 4 do 5 read -r value; 6 case "$value" in 7 true|false|[0-9\.]*|-[0-9\.]*) 8 ;; 9 *) 10 nvalue="$(printf "%s\n" "${value}" | sed 's,",\\",g')" 11 value="\"${nvalue}\"" 12 ;; 13 esac 14 15 printf "user_pref(\"%s\", %s);\n" "${key}" "${value}" 16 done 17