From d0ffeda259d71ee32ec09d1eb25b74a3dab04261 Mon Sep 17 00:00:00 2001 From: Guanran Wang Date: Tue, 10 Oct 2023 11:51:26 +0800 Subject: [PATCH] home: remove font-* scripts --- .../guanranwang/home-manager/common/dotfiles/bin/font-inter | 5 ----- .../home-manager/common/dotfiles/bin/font-noto-sans | 5 ----- .../guanranwang/home-manager/common/dotfiles/bin/font-torus | 5 ----- 3 files changed, 15 deletions(-) delete mode 100755 users/guanranwang/home-manager/common/dotfiles/bin/font-inter delete mode 100755 users/guanranwang/home-manager/common/dotfiles/bin/font-noto-sans delete mode 100755 users/guanranwang/home-manager/common/dotfiles/bin/font-torus 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'