Browse Source

Make desktop boot

main
Dustin Frisch 6 days ago
parent
commit
f71922bb8b
No known key found for this signature in database GPG Key ID: B4C3BF012D9B26BE
  1. 7
      machines/nfs/netinstaller.nix

7
machines/nfs/netinstaller.nix

@ -50,13 +50,12 @@ let
:err :err
:shell :shell
shell
shell ||
:local :local
prompt --key 0x19 --timeout 2000 Booting local disk... && goto shell
sleep 2
prompt --key 0x19 --timeout 2000 Booting local disk... && goto shell ||
sanboot -n -d 0x80
sanboot -d 0x80 || goto err
''; '';
in in

Loading…
Cancel
Save