Activation de fira code

main
Gil 2023-09-01 18:09:10 +02:00
parent de7a05fa8c
commit 4cb091875f
1 changed files with 5 additions and 1 deletions

View File

@ -5,7 +5,7 @@ groups | grep -q sudo || echo "Please add $(whoami) to sudo group with : sudo us
groups | grep -q sudo || return groups | grep -q sudo || return
# sudo usermod -aG sudo $user # pour passer sudoers, puis reboot # 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 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.interface gtk-theme "Nordic"
gsettings set org.gnome.desktop.wm.preferences 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'