summaryrefslogtreecommitdiff
path: root/Omni/Ide/push.sh
AgeCommit message (Collapse)Author
2025-01-21Switch inside a systemd-run on pushBen Sima
This guards against network failures that may put the system in an unusable state. It's included in nixos-rebuild, so I should include it here in some form too. https://github.com/NixOS/nixpkgs/pull/258571
2025-01-21Update grub entries on pushBen Sima
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
2024-12-21Re-namespace some stuff to OmniBen Sima
I was getting confused about what is a product and what is internal infrastructure; I think it is good to keep those things separate. So I moved a bunch of stuff to an Omni namespace, actually most stuff went there. Only things that are explicitly external products are still in the Biz namespace.