diff options
| author | Silvio Rhatto <rhatto@riseup.net> | 2013-01-14 12:27:00 -0200 |
|---|---|---|
| committer | Silvio Rhatto <rhatto@riseup.net> | 2013-01-14 12:27:00 -0200 |
| commit | e9f7a7e39fb48d2e45cb126ffbe9c44d149fd65a (patch) | |
| tree | c57528775778fb5f55c5ac370e4fef82e204d76c | |
| parent | 093cbed7cc14e34956f9a8b4aa91bce25b1754bd (diff) | |
| download | scripts-e9f7a7e39fb48d2e45cb126ffbe9c44d149fd65a.tar.gz scripts-e9f7a7e39fb48d2e45cb126ffbe9c44d149fd65a.tar.bz2 | |
Adding profile manager option to firefox-profile
| -rwxr-xr-x | firefox-profile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/firefox-profile b/firefox-profile index 476869b..8c06a5f 100755 --- a/firefox-profile +++ b/firefox-profile @@ -4,4 +4,6 @@ if [ ! -z "$1" ]; then iceweasel -p $1 --no-remote & +else + iceweasel --profilemanager -no-remote fi |