diff options
| author |  Tom Willemse | 2025-12-27 01:38:22 -0800 |
|---|---|---|
| committer | Tom Willemse | 2025-12-27 01:38:22 -0800 |
| commit | 5cfa9dd6f68cbca8f7ca58c54a2685bb633ff7c6 (patch) | |
| tree | 3374b082f163164565f747c40d6158b1fac99a5b | |
| parent | d7c3c25b2376ba8efdb903847ad426e0b4aa307d (diff) | |
| download | new-dotfiles-5cfa9dd6f68cbca8f7ca58c54a2685bb633ff7c6.tar.gz new-dotfiles-5cfa9dd6f68cbca8f7ca58c54a2685bb633ff7c6.zip | |
firefox: Add configuration for current profile
| -rw-r--r-- | GNUmakefile | 17 | ||||
| -rw-r--r-- | firefox/.mozilla/firefox/default/chrome/userChrome.css (renamed from firefox/.mozilla/firefox/n0vwae07.default/chrome/userChrome.css) | 0 | ||||
| -rw-r--r-- | firefox/.mozilla/firefox/default/user.js (renamed from firefox/.mozilla/firefox/n0vwae07.default/user.js) | 0 | ||||
| -rw-r--r-- | firefox/.mozilla/firefox/profiles.ini | 13 |
4 files changed, 13 insertions, 17 deletions
diff --git a/GNUmakefile b/GNUmakefile index 7247dd1..1f44fbd 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -4,8 +4,6 @@ MODULES=xmodmap emacs xdg shepherd dunst zsh mcron mbsync nyxt work \ STOW = stow EMACS = emacs SCHEME_IMPLEMENTATION = guile -# Found this sed command here: https://stackoverflow.com/a/40778047 -FIREFOX_PROFILE := $(shell sed -nr "/^Name=default/ { :l /^Path=/ { s/[^=]*=[ ]*//; p; q; }; n; b l; }" ~/.mozilla/firefox/profiles.ini 2>/dev/null) .PRECIOUS: %.el @@ -127,21 +125,6 @@ zsh: zsh/.profile zsh/.zshrc zsh/.zsh/functions/unzip.zwc \ nyxt: nyxt/.config/nyxt/init.lisp -## Firefox - -ifneq ($(FIREFOX_PROFILE),) -firefox: firefox/.mozilla/firefox/$(FIREFOX_PROFILE)/chrome/userChrome.css - -firefox/.mozilla/firefox/$(FIREFOX_PROFILE)/chrome/userChrome.css: firefox/src/userChrome.css - mkdir -p $$(dirname $@) - cp $^ $@ -else -firefox: - @echo "Error finding firefox default profile, can't make" >&2 -firefox-stow: - @echo "Error finding firefox default profile, can't stow" >&2 -endif - ## Helper %.el: %.org diff --git a/firefox/.mozilla/firefox/n0vwae07.default/chrome/userChrome.css b/firefox/.mozilla/firefox/default/chrome/userChrome.css index 93e7d9a..93e7d9a 100644 --- a/firefox/.mozilla/firefox/n0vwae07.default/chrome/userChrome.css +++ b/firefox/.mozilla/firefox/default/chrome/userChrome.css diff --git a/firefox/.mozilla/firefox/n0vwae07.default/user.js b/firefox/.mozilla/firefox/default/user.js index a1995ec..a1995ec 100644 --- a/firefox/.mozilla/firefox/n0vwae07.default/user.js +++ b/firefox/.mozilla/firefox/default/user.js diff --git a/firefox/.mozilla/firefox/profiles.ini b/firefox/.mozilla/firefox/profiles.ini new file mode 100644 index 0000000..95e2a3c --- /dev/null +++ b/firefox/.mozilla/firefox/profiles.ini @@ -0,0 +1,13 @@ +[Install4F96D1932A9F858E] +Default=default +Locked=1 + +[Profile0] +Name=default +IsRelative=1 +Path=default +Default=1 + +[General] +StartWithLastProfile=1 +Version=2 |