Advertisement
marioq

ff_profile_folder

Sep 15th, 2016
301
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Bash 2.55 KB | None | 0 0
  1. #!/bin/bash
  2.  
  3. # 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}'`
  4. # 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}'`
  5. # echo ----------------
  6. # echo $XX
  7. # exit 0
  8.  
  9. FF_PROFILES_INI_FILE="$HOME/.mozilla/firefox/profiles.ini"
  10. if [ ! -r "$FF_PROFILES_INI_FILE" ]; then
  11.     echo "error $FF_PROFILES_INI_FILE ?? "
  12.     exit 1
  13. fi
  14.  
  15. if [ ! -z "$1" ]; then
  16.     case "$1" in
  17.         # -h|--help|-*|?)
  18.         *)
  19.         cat<<EOF
  20. ---------------------------
  21. "$FF_PROFILES_INI_FILE"
  22.   se il file che definisce il profilo
  23.   di firefox รจ impostato per l'avvio
  24.   automatico con un profilo predefinito,
  25.   questo comando:
  26. eval "\$(`readlink -m $0`)"
  27.   nella shell corrente valorizzata
  28.   la variabile "FF_PROFILE_PATH"
  29.   come qui sotto si vede
  30. ---------------------------
  31. EOF
  32.         ;;
  33.     esac
  34. fi
  35.  
  36.  
  37. FF_PROFILES_INI="`cat "$FF_PROFILES_INI_FILE" | \
  38.     # tolgo eventuali spazi ad inizio e fine riga
  39.     sed -e 's/^[[:space:]]//g' | \
  40.     sed -e 's/[[:space:]]$//g'`"
  41.  
  42. # Creo la variabile StartWithLastProfile
  43. eval $(echo "$FF_PROFILES_INI" | grep "StartWithLastProfile=[01]")
  44. if [ -z "$StartWithLastProfile" ]; then
  45.     echo "var StartWithLastProfile non valorizzata"
  46.     exit 1
  47. elif [ "$StartWithLastProfile" == "0" ]; then
  48.     # echo StartWithLastProfile=$StartWithLastProfile
  49.     echo FF_PROFILE_PATH="\"\""
  50.     exit 0
  51. fi
  52.  
  53.  
  54. function get_default_profile_value(){
  55.     PROFILE_VALUE="`echo "$FF_PROFILES_INI" | tac | \
  56.         # cerco il profilo predefinito "Default=1" e tutti i valori
  57.         sed -n '/^Default=1$/,/^\[Profile[0-9]\]$/p' | \
  58.         grep -v "^\[Profile[0-9]\]$" | \
  59.         # metto tra "" i valori delle future variabili
  60.         sed 's/=/="/g' | \
  61.         sed 's/$/"/g' | \
  62.         tac`"
  63.     echo "$PROFILE_VALUE"
  64. }
  65. #get_default_profile_value
  66.     # esempio di valori attesi
  67.     # Name="default"
  68.     # IsRelative="1"
  69.     # Path="3ww27y42.default"
  70.     # Default="1"
  71.  
  72. eval "`get_default_profile_value`"
  73. # echo ----------
  74. # echo $Name
  75. # echo $IsRelative
  76. # echo $Path
  77. # echo $Default
  78. # echo ----------
  79. # exit 0
  80.  
  81. if [ -z "$IsRelative" -o -z "$Path" ]; then
  82.     echo "errore var PROFILE_VALUE non valorizzata ?? "
  83.     echo "IsRelative ?? Path ??"
  84.     exit 1
  85. fi
  86.  
  87. if [ "$IsRelative"=="1" ]; then
  88.     FF_PROFILE_PATH="$HOME/.mozilla/firefox/$Path"
  89. elif [ "$IsRelative"=="0" ]; then
  90.     FF_PROFILE_PATH="$Path"
  91. fi
  92.  
  93. if [ -d "$FF_PROFILE_PATH" ]; then
  94.     echo "FF_PROFILE_PATH=\"$FF_PROFILE_PATH\""
  95. else
  96.     echo "error var FF_PROFILE_PATH ??"
  97.     exit 1
  98. fi
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement