diff options
| author | Ben Sima <ben@bsima.me> | 2025-01-21 05:05:08 -0500 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2025-01-21 05:05:18 -0500 |
| commit | e19708a249140d22c8d7a2245c7c11d7b15ef048 (patch) | |
| tree | ce6e915100be321ae5d84f3884419c6f76cfd12d /.gitlint | |
| parent | 640ac096ea41f54b9f2a267c6982bdd32e82e393 (diff) | |
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
Diffstat (limited to '.gitlint')
| -rw-r--r-- | .gitlint | 2 |
1 files changed, 2 insertions, 0 deletions
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?:// |