From 8fffd442ae035d57c27c31751242bb5931ab9da0 Mon Sep 17 00:00:00 2001
From: devhell <devhell@mailfresser.de>
Date: Wed, 19 Jun 2019 10:45:11 +0100
Subject: 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!
---
 machines/default.nix | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'machines/default.nix')

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 = {
-- 
cgit 1.4.1