jarno
/
firefox-gnome-theme
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fix current profile determination 

Use the profile version of the currently running Firefox, rather than
using a more flimsy inference method on directories.

This was done to fix the installation issue:
https://github.com/rafaelmardojai/firefox-gnome-theme/issues/94
This commit is contained in:
Mathieu Lovato Stumpf Guntz 2020-04-11 08:59:57 +02:00
parent 63324ae4e1
commit 5ebc504815
1 changed files with 11 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
scripts/install.sh
View File

@ -5,9 +5,17 @@ FIREFOXFOLDER=~/.mozilla/firefox
PROFILENAME=""
GNOMISHEXTRAS=false
# Determine firefox profile being currently used programatically
# credits: https://stackoverflow.com/questions/57526217/
function current_profile() {
pgrep firefox | xargs -I{} lsof -p {} 2>/dev/null | grep .parentlock |
awk '{for(i=9;i<=NF;++i)printf $i""FS ; print ""}' | cut -d'/' -f6
}
# Get options.
while getopts 'f:p:g' flag; do
case "${flag}" in
case "${flag}" in
f) FIREFOXFOLDER="${OPTARG}" ;;
p) PROFILENAME="${OPTARG}" ;;
g) GNOMISHEXTRAS=true ;;
@ -15,9 +23,9 @@ while getopts 'f:p:g' flag; do
done
# Define profile folder path.
if test -z "$PROFILENAME"
if test -z "$PROFILENAME"
then
PROFILEFOLDER="$FIREFOXFOLDER/*.default*"
PROFILEFOLDER="$FIREFOXFOLDER/$(current_profile)"
else
PROFILEFOLDER="$FIREFOXFOLDER/$PROFILENAME"
fi