Go to file
2021-03-10 18:38:59 +08:00
nixbld-etc-nixos fix IP for rpi-5, rename to rpi-ext 2021-03-05 18:57:20 +08:00
nixops fish-nix-shell -> any-nix-shell 2021-03-10 18:38:59 +08:00