Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- #!/bin/bash
- # ls $HOME/.mozilla/firefox/`tac $HOME/.mozilla/firefox/profiles.ini | sed -n '/^Default=1$/,/^\[Profile[0-9]\]/p' | tac | grep Path= | awk -F"=" '{print $2}'`
- # XX=$HOME/.mozilla/firefox/`tac $HOME/.mozilla/firefox/profiles.ini | sed -n '/^Default=1$/,/^\[Profile[0-9]\]/p' | tac | grep Path= | awk -F"=" '{print $2}'`
- # echo ----------------
- # echo $XX
- # exit 0
- FF_PROFILES_INI_FILE="$HOME/.mozilla/firefox/profiles.ini"
- if [ ! -r "$FF_PROFILES_INI_FILE" ]; then
- echo "error $FF_PROFILES_INI_FILE ?? "
- exit 1
- fi
- if [ ! -z "$1" ]; then
- case "$1" in
- # -h|--help|-*|?)
- *)
- cat<<EOF
- ---------------------------
- "$FF_PROFILES_INI_FILE"
- se il file che definisce il profilo
- di firefox รจ impostato per l'avvio
- automatico con un profilo predefinito,
- questo comando:
- eval "\$(`readlink -m $0`)"
- nella shell corrente valorizzata
- la variabile "FF_PROFILE_PATH"
- come qui sotto si vede
- ---------------------------
- EOF
- ;;
- esac
- fi
- FF_PROFILES_INI="`cat "$FF_PROFILES_INI_FILE" | \
- # tolgo eventuali spazi ad inizio e fine riga
- sed -e 's/^[[:space:]]//g' | \
- sed -e 's/[[:space:]]$//g'`"
- # Creo la variabile StartWithLastProfile
- eval $(echo "$FF_PROFILES_INI" | grep "StartWithLastProfile=[01]")
- if [ -z "$StartWithLastProfile" ]; then
- echo "var StartWithLastProfile non valorizzata"
- exit 1
- elif [ "$StartWithLastProfile" == "0" ]; then
- # echo StartWithLastProfile=$StartWithLastProfile
- echo FF_PROFILE_PATH="\"\""
- exit 0
- fi
- function get_default_profile_value(){
- PROFILE_VALUE="`echo "$FF_PROFILES_INI" | tac | \
- # cerco il profilo predefinito "Default=1" e tutti i valori
- sed -n '/^Default=1$/,/^\[Profile[0-9]\]$/p' | \
- grep -v "^\[Profile[0-9]\]$" | \
- # metto tra "" i valori delle future variabili
- sed 's/=/="/g' | \
- sed 's/$/"/g' | \
- tac`"
- echo "$PROFILE_VALUE"
- }
- #get_default_profile_value
- # esempio di valori attesi
- # Name="default"
- # IsRelative="1"
- # Path="3ww27y42.default"
- # Default="1"
- eval "`get_default_profile_value`"
- # echo ----------
- # echo $Name
- # echo $IsRelative
- # echo $Path
- # echo $Default
- # echo ----------
- # exit 0
- if [ -z "$IsRelative" -o -z "$Path" ]; then
- echo "errore var PROFILE_VALUE non valorizzata ?? "
- echo "IsRelative ?? Path ??"
- exit 1
- fi
- if [ "$IsRelative"=="1" ]; then
- FF_PROFILE_PATH="$HOME/.mozilla/firefox/$Path"
- elif [ "$IsRelative"=="0" ]; then
- FF_PROFILE_PATH="$Path"
- fi
- if [ -d "$FF_PROFILE_PATH" ]; then
- echo "FF_PROFILE_PATH=\"$FF_PROFILE_PATH\""
- else
- echo "error var FF_PROFILE_PATH ??"
- exit 1
- fi
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement