# HG changeset patch # User om # Date 1385997239 -3600 # Node ID 088f4b20dbbc4819541a843921982f9b63f5a598 # Parent 166c38b8b6eda1e4a0233c68e46261e893a55338 fixed typos and added full path to times.json file diff -r 166c38b8b6ed -r 088f4b20dbbc OpenSecurity/vm/usr/local/bin/ff --- a/OpenSecurity/vm/usr/local/bin/ff Mon Dec 02 16:02:00 2013 +0100 +++ b/OpenSecurity/vm/usr/local/bin/ff Mon Dec 02 16:13:59 2013 +0100 @@ -3,7 +3,7 @@ # create a disposable firefox session # # Remark: this script expects the firefox sessions -# to be stored in ~/.mozilla/fireofx +# to be stored in ~/.mozilla/firefox # # pick the next profile number @@ -13,13 +13,13 @@ PROFILE_NAME=$(echo ${PROFILE_PATH} | awk -F '.' '{ print $NF; }') # create a fake times.json -cat > ${PROFILE_PATH}/times.json << __EO_TIMES_JSON__ +cat > ~/.mozilla/firefox/${PROFILE_PATH}/times.json << __EO_TIMES_JSON__ { "created": ${PROFILE_TIMESTAMP} } __EO_TIMES_JSON__ -# add out new "profile" to firefox +# add our new "profile" to firefox cat >> ~/.mozilla/firefox/profiles.ini << __EO_PROFILES_INI__ [Profile${PROFILE_NUMBER}] Name=${PROFILE_NAME}