machines/devhell/: Rename machines and new console font

I'm bored of the names my machines have. Luckily NixOS makes changing
names as easy as changing underwear! So, let's use Valkyrie names
instead. Also, change the console font to something nicer, like the
default `Lat2-Terminus16` font!

1 files changed, 3 insertions, 3 deletions

diff --git a/machines/default.nix b/machines/default.nix
index dfb2b320..236d2a5d 100644
--- a/machines/default.nix
+++ b/machines/default.nix
@@ -12,9 +12,9 @@ with import ../lib;
     };
   };
   devhell = {
-    eris       = callMachine devhell/eris.nix {};
-    skunkworks = callMachine devhell/skunkworks.nix {};
-    titan      = callMachine devhell/titan.nix {};
+    eir       = callMachine devhell/eir.nix {};
+    sigrun = callMachine devhell/sigrun.nix {};
+    hildr      = callMachine devhell/hildr.nix {};
     gunnr      = callMachine devhell/gunnr.nix {};
   };
   openlab = {