From 8c02a0db68c75d27ddfc153fc7d2aac7bcdb2be1 Mon Sep 17 00:00:00 2001 From: Gabriel Arazas Date: Mon, 4 Sep 2023 14:13:05 +0800 Subject: [PATCH] profiles/dev: add gum into `extras` submodule --- modules/home-manager/profiles/dev.nix | 1 + 1 file changed, 1 insertion(+) diff --git a/modules/home-manager/profiles/dev.nix b/modules/home-manager/profiles/dev.nix index bb296982..5bbc9a97 100644 --- a/modules/home-manager/profiles/dev.nix +++ b/modules/home-manager/profiles/dev.nix @@ -161,6 +161,7 @@ in { home.packages = with pkgs; [ act # Test your CI without embarrassing yourself repeatedly pushing into GitHub repos. github-cli # So you don't have to use much of GitHub on the site, I guess. + gum # The fancy shell script toolkit. hut # So you don't have to see much of Sourcehut's brutalist design, I guess. hyperfine # Making sure your apps are not just fine but REEEEEEAAAAALY fine. irssi # Communicate in the terminal like a normal person.