From e19708a249140d22c8d7a2245c7c11d7b15ef048 Mon Sep 17 00:00:00 2001 From: Ben Sima Date: Tue, 21 Jan 2025 05:05:08 -0500 Subject: Update grub entries on push Supposedly, running the nix-env command before switch-to-configuration will result in the grub entry being updated appropriately, and this is how nixos-rebuild does it. https://discourse.nixos.org/t/how-to-update-grub-entries-with-nixos-config-built-with-nix-build/1826/2 --- Omni/Ide/push.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Omni/Ide') diff --git a/Omni/Ide/push.sh b/Omni/Ide/push.sh index 43dff28..e16b26a 100755 --- a/Omni/Ide/push.sh +++ b/Omni/Ide/push.sh @@ -15,6 +15,6 @@ what=$(realpath "${CODEROOT:?}/_/nix/$target") where=$(rg --only-matching --replace '$2' --regexp '(domainname ")(.*)(")' \ "$what/etc/systemd/system/domainname.service") nix copy --to ssh://"$USER"@"$where" "$what" -ssh "$USER"@"$where" sudo "$what"/bin/switch-to-configuration switch ssh "$USER"@"$where" sudo nix-env --profile /nix/var/nix/profiles/system --set "$what" +ssh "$USER"@"$where" sudo "$what"/bin/switch-to-configuration switch echo "${GRN}good: push: $target${NC}" -- cgit v1.2.3