diff --git a/installSystem.sh b/installSystem.sh index ac8303d..a47f8fc 100644 --- a/installSystem.sh +++ b/installSystem.sh @@ -5,7 +5,7 @@ groups | grep -q sudo || echo "Please add $(whoami) to sudo group with : sudo us groups | grep -q sudo || return # sudo usermod -aG sudo $user # pour passer sudoers, puis reboot -sudo apt install -y webext-browserpass webext-ublock-origin-firefox vim vim-nox neomutt curl isync msmtp pass lynx notmuch abook urlview python3 ripgrep fonts-firacode fd-find +sudo apt install -y webext-browserpass webext-ublock-origin-firefox vim vim-nox neomutt curl isync msmtp pass lynx notmuch abook urlview python3 ripgrep fonts-firacode fd-find tmux interception-caps2esc echo "*/10 * * * * $HOME/.local/bin/mailsync" > temp && crontab temp && rm temp @@ -22,3 +22,7 @@ grep -q "gil_specific" "$HOME/.bashrc" && echo "Bash configured" || sed -i -e ' gsettings set org.gnome.desktop.interface gtk-theme "Nordic" gsettings set org.gnome.desktop.wm.preferences theme "Nordic" + +gsettings set org.gnome.desktop.interface monospace-font-name 'Fira Code 11' +gsettings set org.gnome.desktop.interface document-font-name 'Fira Code 10' +gsettings set org.gnome.desktop.interface font-name 'Fira Code 10'