This repository has been archived on 2024-03-28. You can view files and clone it, but cannot push or open issues or pull requests.
2022-03-03 10:44:25 -06:00
|
|
|
#!/usr/bin/env fish
|
|
|
|
|
2022-10-19 09:29:01 -05:00
|
|
|
set profile_dirs $HOME/.mozilla/firefox/*.dev-edition-default $HOME/.mozilla/firefox/*.default-release
|
2022-05-14 21:00:08 -05:00
|
|
|
if test (uname) = Darwin
|
2022-10-19 09:29:01 -05:00
|
|
|
set profile_dirs $HOME/Library/Application\ Support/Firefox/Profiles/*.dev-edition-default $HOME/.mozilla/firefox/*.default-release
|
2022-05-14 21:00:08 -05:00
|
|
|
end
|
2022-03-03 10:44:25 -06:00
|
|
|
|
|
|
|
for p in $profile_dirs
|
|
|
|
mkdir -p $p/chrome
|
|
|
|
set user_chrome_css_file $p/chrome/userChrome.css
|
|
|
|
echo '/* Generated by '(status -f)' -- do not edit manually! */' > $user_chrome_css_file
|
|
|
|
cat $DOTFILES_PATH/common/firefox/userChrome.d.css >> $user_chrome_css_file
|
|
|
|
echo >> $user_chrome_css_file
|
|
|
|
for file_part in $ENV_PATH/*/firefox/userChrome.d.css
|
|
|
|
cat $file_part >> $user_chrome_css_file
|
|
|
|
echo >> $user_chrome_css_file
|
|
|
|
end
|
|
|
|
echo Built $user_chrome_css_file
|
|
|
|
end
|
|
|
|
|
|
|
|
echo Make sure you set 'toolkit.legacyUserProfileCustomizations.stylesheets' to true in about:config
|