flake/users/guanranwang/home-manager/common/dotfiles/bin/font-inter

6 lines
228 B
Text
Raw Normal View History

2023-09-19 00:17:43 +00:00
#!/bin/sh
gsettings set org.gnome.desktop.interface font-name 'Inter'
gsettings set org.gnome.desktop.interface document-font-name 'Inter'
gsettings set org.gnome.desktop.interface monospace-font-name 'JetBrainsMono Nerd Font'