From db44549d4a3ab9c796a04175dc1fed73590e99ea Mon Sep 17 00:00:00 2001
From: Alan Pearce
Date: Mon, 13 Mar 2023 21:28:45 +0100
Subject: zsh: add alias for home-manager build

---
 user/settings/zsh.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/user/settings/zsh.nix b/user/settings/zsh.nix
index e3a9efe9..d452092c 100644
--- a/user/settings/zsh.nix
+++ b/user/settings/zsh.nix
@@ -157,6 +157,7 @@ in {
       grup = "git rup";
 
       ho = "home-manager";
+      hob = "home-manager build";
       hos = "home-manager switch";
       hon = "home-manager news";
       hoh = "home-manager help";
-- 
cgit 1.4.1