From 4cb091875ff957c5a246dca3a55dfb92c1de87d0 Mon Sep 17 00:00:00 2001 From: Gil Date: Fri, 1 Sep 2023 18:09:10 +0200 Subject: [PATCH] Activation de fira code --- installSystem.sh | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) 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'