1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/OpenSecurity/vm/usr/local/bin/ff	Mon Dec 02 16:02:00 2013 +0100
     1.3 @@ -0,0 +1,33 @@
     1.4 +#!/bin/bash
     1.5 +
     1.6 +# create a disposable firefox session
     1.7 +#
     1.8 +# Remark:   this script expects the firefox sessions
     1.9 +#           to be stored in ~/.mozilla/fireofx
    1.10 +#
    1.11 +
    1.12 +# pick the next profile number
    1.13 +PROFILE_NUMBER=$(new_firefox_profile_id.py)
    1.14 +PROFILE_PATH=$(basename $(mktemp -d ~/.mozilla/firefox/XXXXXXXX.os_user_${PROFILE_NUMBER}))
    1.15 +PROFILE_TIMESTAMP="$(date +%s)000"
    1.16 +PROFILE_NAME=$(echo ${PROFILE_PATH} | awk -F '.' '{ print $NF; }')
    1.17 +
    1.18 +# create a fake times.json
    1.19 +cat > ${PROFILE_PATH}/times.json << __EO_TIMES_JSON__
    1.20 +{
    1.21 +"created": ${PROFILE_TIMESTAMP}
    1.22 +}
    1.23 +__EO_TIMES_JSON__
    1.24 +
    1.25 +# add out new "profile" to firefox
    1.26 +cat >> ~/.mozilla/firefox/profiles.ini << __EO_PROFILES_INI__
    1.27 +[Profile${PROFILE_NUMBER}]
    1.28 +Name=${PROFILE_NAME}
    1.29 +IsRelative=1
    1.30 +Path=${PROFILE_PATH}
    1.31 +
    1.32 +__EO_PROFILES_INI__
    1.33 +
    1.34 +
    1.35 +# launch firefox
    1.36 +firefox -P ${PROFILE_NAME} -no-remote $@