1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
if [[ -d "$XDG_CONFIG_HOME/mozilla/firefox" ]]; then
index=0
PSNAME="$browser"
while read -r profileItem; do
if [[ $(echo "$profileItem" | cut -c1) = "/" ]]; then
# path is not relative
DIRArr[$index]="$profileItem"
else
# we need to append the default path to give a
# fully qualified path
DIRArr[$index]="$XDG_CONFIG_HOME/mozilla/firefox/$profileItem"
fi
(( index=index+1 ))
done < <(grep '^[Pp]ath=' "$XDG_CONFIG_HOME/mozilla/firefox/profiles.ini" | sed 's/[Pp]ath=//')
fi
check_suffix=1
if [[ -d "$HOME"/.mozilla/firefox ]]; then
index=0
PSNAME="$browser"
while read -r profileItem; do
if [[ $(echo "$profileItem" | cut -c1) = "/" ]]; then
# path is not relative
DIRArr[$index]="$profileItem"
else
# we need to append the default path to give a
# fully qualified path
DIRArr[$index]="$HOME/.mozilla/firefox/$profileItem"
fi
(( index=index+1 ))
done < <(grep '^[Pp]ath=' "$HOME"/.mozilla/firefox/profiles.ini | sed 's/[Pp]ath=//')
fi
check_suffix=1
|
