From 729ab77f9e998e0989fa30140ecc91e738bc0cb1 Mon Sep 17 00:00:00 2001 From: Robert Helgesson Date: Mon, 31 Jul 2023 10:02:47 +0200 Subject: [PATCH] home-manager: skip manual in uninstall configuration No need to spend time building a manual when doing the install. Also helps if the manual, for whatever reason, doesn't build. --- home-manager/home-manager | 1 + 1 file changed, 1 insertion(+) diff --git a/home-manager/home-manager b/home-manager/home-manager index 949b7648d..ea8546781 100644 --- a/home-manager/home-manager +++ b/home-manager/home-manager @@ -798,6 +798,7 @@ function doUninstall() { echo "{ lib, ... }: {" > "$HOME_MANAGER_CONFIG" echo " home.file = lib.mkForce {};" >> "$HOME_MANAGER_CONFIG" echo " home.stateVersion = \"18.09\";" >> "$HOME_MANAGER_CONFIG" + echo " manual.manpages.enable = false;" >> "$HOME_MANAGER_CONFIG" echo "}" >> "$HOME_MANAGER_CONFIG" doSwitch $DRY_RUN_CMD $REMOVE_CMD home-manager-path || true