nyancat/flake
1
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

home: remove font-* scripts

Browse source
This commit is contained in:
Guanran Wang 2023-10-10 11:51:26 +08:00
parent cba692f502
commit d0ffeda259
Signed by: nyancat
SSH key fingerprint: SHA256:8oWGKciPALWut/6WA27oFKofX+6Wtc0gQnsefXLQx/8
3 changed files with 0 additions and 15 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
users/guanranwang/home-manager/common/dotfiles/bin/font-inter
View file

@ -1,5 +0,0 @@
#!/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'

5
users/guanranwang/home-manager/common/dotfiles/bin/font-noto-sans
View file

@ -1,5 +0,0 @@
#!/bin/sh
gsettings set org.gnome.desktop.interface font-name 'Noto Sans'
gsettings set org.gnome.desktop.interface document-font-name 'Noto Sans'
gsettings set org.gnome.desktop.interface monospace-font-name 'JetBrainsMono Nerd Font'

5
users/guanranwang/home-manager/common/dotfiles/bin/font-torus
View file

@ -1,5 +0,0 @@
#!/bin/sh
gsettings set org.gnome.desktop.interface font-name 'Torus'
gsettings set org.gnome.desktop.interface document-font-name 'Torus'
gsettings set org.gnome.desktop.interface monospace-font-name 'JetBrainsMono Nerd Font'