diff options
| author | silly <u65487754@gmail.com> | 2026-04-04 14:37:14 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2026-04-04 14:37:14 +0000 |
| commit | 3e6a673db11ee096fc364d24a91d991e788690f2 (patch) | |
| tree | f9e0d8bebb282c1ca4fbf4b372780dbb65ba5f3e | |
| parent | 4e31057871d1c1df542700017e6ceb5d60b01e02 (diff) | |
Update silly.sh
| -rw-r--r-- | silly.sh | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -75,6 +75,7 @@ install() { xdg-mime default imv.desktop image/jpeg image/png image/gif image/webp image/bmp image/tiff xdg-mime default mpv.desktop video/mp4 video/x-matroska video/webm video/quicktime video/x-msvideo video/x-flv + pkill -x firefox && sleep 1 || true ff_profile=$(echo "$HOME/.config/mozilla/firefox/"*.default-release) if [[ -d "$ff_profile" ]]; then mkdir -p "$ff_profile/chrome" @@ -82,6 +83,8 @@ install() { src="$tmp/dotfiles/.config/mozilla/firefox/chrome/$f" [[ -f "$src" ]] && cp "$src" "$ff_profile/chrome/$f" done + grep -q "toolkit.legacyUserProfileCustomizations.stylesheets" "$ff_profile/prefs.js" \ + || echo 'user_pref("toolkit.legacyUserProfileCustomizations.stylesheets", true);' >> "$ff_profile/prefs.js" else echo "firefox not found" fi @@ -120,12 +123,15 @@ sync() { fi if [[ "$name" == "firefox" ]]; then + pkill -x firefox && sleep 1 || true ff_profile=$(echo "$HOME/.config/mozilla/firefox/"*.default-release) if [[ -d "$ff_profile" ]]; then mkdir -p "$ff_profile/chrome" for f in userChrome.css userContent.css; do [[ -f "$src/$f" ]] && cp "$src/$f" "$ff_profile/chrome/$f" done + grep -q "toolkit.legacyUserProfileCustomizations.stylesheets" "$ff_profile/prefs.js" \ + || echo 'user_pref("toolkit.legacyUserProfileCustomizations.stylesheets", true);' >> "$ff_profile/prefs.js" else echo "firefox not found" continue |