diff --git a/users/guanranwang/home-manager/common/dotfiles/bin/font-inter b/users/guanranwang/home-manager/common/dotfiles/bin/font-inter deleted file mode 100755 index daa7eba..0000000 --- a/users/guanranwang/home-manager/common/dotfiles/bin/font-inter +++ /dev/null @@ -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' diff --git a/users/guanranwang/home-manager/common/dotfiles/bin/font-noto-sans b/users/guanranwang/home-manager/common/dotfiles/bin/font-noto-sans deleted file mode 100755 index 889902f..0000000 --- a/users/guanranwang/home-manager/common/dotfiles/bin/font-noto-sans +++ /dev/null @@ -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' diff --git a/users/guanranwang/home-manager/common/dotfiles/bin/font-torus b/users/guanranwang/home-manager/common/dotfiles/bin/font-torus deleted file mode 100755 index 0afc5d2..0000000 --- a/users/guanranwang/home-manager/common/dotfiles/bin/font-torus +++ /dev/null @@ -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'