Disable Ubuntu 14.04

This commit is contained in:
Eelco Dolstra 2022-09-15 14:51:44 +02:00
parent a96ad2ab25
commit ba04b5b1d7
No known key found for this signature in database
GPG key ID: 8170B4726D7198DE

View file

@ -34,6 +34,7 @@ let
images = { images = {
/*
"ubuntu-14-04" = { "ubuntu-14-04" = {
image = import <nix/fetchurl.nix> { image = import <nix/fetchurl.nix> {
url = https://app.vagrantup.com/ubuntu/boxes/trusty64/versions/20190514.0.0/providers/virtualbox.box; url = https://app.vagrantup.com/ubuntu/boxes/trusty64/versions/20190514.0.0/providers/virtualbox.box;
@ -42,6 +43,7 @@ let
rootDisk = "box-disk1.vmdk"; rootDisk = "box-disk1.vmdk";
system = "x86_64-linux"; system = "x86_64-linux";
}; };
*/
"ubuntu-16-04" = { "ubuntu-16-04" = {
image = import <nix/fetchurl.nix> { image = import <nix/fetchurl.nix> {