From 8a8f4a857832ada7d44aef11443daf70b56fadd4 Mon Sep 17 00:00:00 2001 From: Aditya Date: Tue, 11 Jul 2023 11:28:17 +0530 Subject: [PATCH] remove nerdfonts --- home.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/home.nix b/home.nix index 0759389..4d8856c 100644 --- a/home.nix +++ b/home.nix @@ -46,7 +46,7 @@ # echo "Hello, ${config.home.username}!" # '') xsel wget neofetch htop oh-my-zsh git chromium kitty plasma5Packages.qtstyleplugin-kvantum kdeconnect - bat gnome.gnome-tweaks microsoft-edge vivaldi vivaldi-ffmpeg-codecs x264 nerdfonts gnome.gnome-terminal + bat gnome.gnome-tweaks microsoft-edge vivaldi vivaldi-ffmpeg-codecs x264 gnome.gnome-terminal joypixels rustc cargo unzip ];