Add user.js to install script, #32

This commit is contained in:
Rafael Mardojai CM 2019-07-12 11:38:16 -05:00
parent 926e78bc50
commit 4e255a12de
1 changed files with 4 additions and 0 deletions

View File

@ -47,4 +47,8 @@ if [ "$GNOMISHEXTRAS" = true ] ; then
sed -i '2s/^/@import "theme\/matching-autocomplete-width.css";\n/' firefox-gnome-theme/customChrome.css sed -i '2s/^/@import "theme\/matching-autocomplete-width.css";\n/' firefox-gnome-theme/customChrome.css
fi fi
# Symlink user.js to firefox-gnome-theme one.
echo "Set configuration user.js file"
ln -s firefox-gnome-theme/configuration/user.js ../user.js
echo "Done." echo "Done."