firefox-gnome-theme/scripts/install.sh

107 lines
2.7 KiB
Bash
Raw Normal View History

#!/bin/bash
THEMEDIRECTORY=$(cd `dirname $0` && cd .. && pwd)
2019-07-17 21:33:41 +03:00
FIREFOXFOLDER=~/.mozilla/firefox
PROFILENAME=""
THEME=DEFAULT
2019-07-12 19:07:20 +03:00
# Get options.
while getopts 'f:p:g:t:h' flag; do
case "${flag}" in
f) FIREFOXFOLDER="${OPTARG}" ;;
p) PROFILENAME="${OPTARG}" ;;
t) THEME="${OPTARG}" ;;
h)
echo "Gnome Theme Install Script:"
echo " -f <firefox_folder_path>. Set custom Firefox folder path."
echo " -p <profile_name>. Set custom profile name."
echo " -t <theme_name>. Set the colors used in the theme."
echo " -h to show this message."
exit 0
;;
esac
done
2020-10-23 02:39:57 +03:00
function saveProfile(){
local PROFILE_PATH="$1"
cd "$FIREFOXFOLDER/$PROFILE_PATH"
2020-10-23 02:39:57 +03:00
echo "Installing theme in $PWD"
# Create a chrome directory if it doesn't exist.
mkdir -p chrome
cd chrome
# Copy theme repo inside
echo "Copying repo in $PWD"
cp -fR "$THEMEDIRECTORY" "$PWD"
2020-10-23 02:39:57 +03:00
# Create single-line user CSS files if non-existent or empty.
if [ -s userChrome.css ]; then
# Remove older theme imports
sed 's/@import "firefox-gnome-theme.*.//g' userChrome.css | sed '/^\s*$/d' > userChrome.css
echo >> userChrome.css
else
echo >> userChrome.css
fi
# Import this theme at the beginning of the CSS files.
sed -i '1s/^/@import "firefox-gnome-theme\/userChrome.css";\n/' userChrome.css
if [ $THEME = "DEFAULT" ]; then
echo "No theme set, using default adwaita."
else
echo "Setting $THEME theme."
echo "@import \"firefox-gnome-theme\/theme/colors/light-$THEME.css\";" >> userChrome.css
echo "@import \"firefox-gnome-theme\/theme/colors/dark-$THEME.css\";" >> userChrome.css
fi
cd ..
# Symlink user.js to firefox-gnome-theme one.
echo "Set configuration user.js file"
ln -fs chrome/firefox-gnome-theme/configuration/user.js user.js
echo "Done."
cd ..
}
2020-10-23 02:39:57 +03:00
PROFILES_FILE="${FIREFOXFOLDER}/profiles.ini"
if [ ! -f "${PROFILES_FILE}" ]; then
>&2 echo "failed, lease check Firefox installation, unable to find profile.ini at ${FIREFOXFOLDER}"
exit 1
fi
2020-10-23 02:39:57 +03:00
echo "Profiles file found"
PROFILES_PATHS=($(grep -E "^Path=" "${PROFILES_FILE}" | tr -d '\n' | sed -e 's/\s\+/SPACECHARACTER/g' | sed 's/Path=/::/g' ))
PROFILES_PATHS+=::
PROFILES_ARRAY=()
if [ "${PROFILENAME}" != "" ];
then
echo "Using ${PROFILENAME} theme"
PROFILES_ARRAY+=${PROFILENAME}
else
echo "Finding all avaliable themes";
while [[ $PROFILES_PATHS ]]; do
PROFILES_ARRAY+=( "${PROFILES_PATHS%%::*}" )
PROFILES_PATHS=${PROFILES_PATHS#*::}
done
fi
if [ ${#PROFILES_ARRAY[@]} -eq 0 ]; then
echo No Profiles found on $PROFILES_FILE;
2019-07-12 19:07:20 +03:00
else
for i in "${PROFILES_ARRAY[@]}"
do
if [[ ! -z "$i" ]];
then
echo Installing Theme on $(sed 's/SPACECHARACTER/ /g' <<< $i) ;
saveProfile "$(sed 's/SPACECHARACTER/ /g' <<< $i)"
fi;
2020-10-23 02:39:57 +03:00
done
fi