From e19708a249140d22c8d7a2245c7c11d7b15ef048 Mon Sep 17 00:00:00 2001
From: Ben Sima <ben@bsima.me>
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
---
 .gitlint         | 2 ++
 Omni/Ide/push.sh | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)
 create mode 100644 .gitlint

diff --git a/.gitlint b/.gitlint
new file mode 100644
index 0000000..b18e7c4
--- /dev/null
+++ b/.gitlint
@@ -0,0 +1,2 @@
+[ignore-body-lines]
+regex=^https?://
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