From 6023f7d96e95f9a95d57c882757658a05949d1e1 Mon Sep 17 00:00:00 2001 From: Nathan McCarty Date: Sat, 5 Nov 2022 15:57:12 -0400 Subject: [PATCH] Remove some devtools from mac --- machines/extremophile/home.nix | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) diff --git a/machines/extremophile/home.nix b/machines/extremophile/home.nix index 4e13ad7..f7151e7 100644 --- a/machines/extremophile/home.nix +++ b/machines/extremophile/home.nix @@ -2,7 +2,16 @@ { nathan = { - programs = { util = { git = { gpgSign = false; }; }; }; + programs = { + util = { git = { gpgSign = false; }; }; + devel = { + idris2 = false; + haskell = false; + js = false; + raku = false; + python = false; + }; + }; config = { isDesktop = true; }; }; }