diff options
-rw-r--r-- | firefox/.config/firefox/chrome/userChrome.css | 14 | ||||
-rwxr-xr-x | firefox/install.sh | 6 |
2 files changed, 18 insertions, 2 deletions
diff --git a/firefox/.config/firefox/chrome/userChrome.css b/firefox/.config/firefox/chrome/userChrome.css new file mode 100644 index 0000000..9a32264 --- /dev/null +++ b/firefox/.config/firefox/chrome/userChrome.css @@ -0,0 +1,14 @@ +statuspanel[type="overLink"], +#statuspanel[type="overLink"] { + right: 0; + display: inline; +} + +tabs { + counter-reset: tab-counter; +} + +.tab-label::before { + counter-increment: tab-counter; + content: counter(tab-counter) " - "; +}
\ No newline at end of file diff --git a/firefox/install.sh b/firefox/install.sh index e82e17c..0694ed8 100755 --- a/firefox/install.sh +++ b/firefox/install.sh @@ -10,6 +10,8 @@ fi printf "%s: Installing user.js\n" "$0" profile=$(grep -Po -m1 'Default=\K.*' <~/.mozilla/firefox/profiles.ini) -if [ -d "$HOME"/.mozilla/firefox/"$profile" ]; then - ln -vst ~/.mozilla/firefox/"$profile" "$XDG_CONFIG_HOME"/firefox/user.js +if [ -d "$XDG_CONFIG_HOME"/firefox ]; then + for item in "$XDG_CONFIG_HOME"/firefox/*; do + ln -vst ~/.mozilla/firefox/"$profile" "$item" + done fi |