diff options
| author | Profpatsch <mail@profpatsch.de> | 2016-05-20 16:53:48 +0200 |
|---|---|---|
| committer | Profpatsch <mail@profpatsch.de> | 2016-05-20 16:53:48 +0200 |
| commit | 607fe7f266d2d8ffc076814011b67c37dce75bc6 (patch) | |
| tree | 0a0f1c32bd71dc337834251a236c70b7c83f43d3 | |
| parent | 91a2041fb43c408439f5b54fcfccfec8f402460d (diff) | |
machines/labnet/website-vm: dummy device values
Not sure if having this as a machine config is the way to go. Comments, @aszlig?
| -rw-r--r-- | machines/labnet/website-vm.nix | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/machines/labnet/website-vm.nix b/machines/labnet/website-vm.nix index ceb72094..604674d4 100644 --- a/machines/labnet/website-vm.nix +++ b/machines/labnet/website-vm.nix @@ -6,4 +6,8 @@ environment.systemPackages = with pkgs; [ vuizvui.openlab.gitit ]; + + # dummy values + fileSystems."/".label = "root"; + boot.loader.grub.device = "nodev"; } |