]> gitweb.fluxo.info Git - scripts.git/commitdiff
Adding profile manager option to firefox-profile
authorSilvio Rhatto <rhatto@riseup.net>
Mon, 14 Jan 2013 14:27:00 +0000 (12:27 -0200)
committerSilvio Rhatto <rhatto@riseup.net>
Mon, 14 Jan 2013 14:27:00 +0000 (12:27 -0200)
firefox-profile

index 476869b85833547573993996bb2d913889dd1254..8c06a5f7ed4f0a27b353b34c00fc17be50a78a1f 100755 (executable)
@@ -4,4 +4,6 @@
 
 if [ ! -z "$1" ]; then
   iceweasel -p $1 --no-remote &
+else
+  iceweasel --profilemanager -no-remote
 fi