Small clean up around VM ids

This commit is contained in:
Nicolas Jeannerod 2025-01-27 11:56:19 +01:00
parent bdf43717fa
commit 5aa6ca3ae6
Signed by untrusted user: Niols
GPG key ID: 35DB9EC8886E1CB8
2 changed files with 2 additions and 7 deletions

View file

@ -1,12 +1,7 @@
{ inputs, self, ... }: { inputs, self, ... }:
let let
allVmIds = # 100 -- 255 allVmIds = builtins.genList (x: 100 + x) 156; # 100 -- 255
let
allVmIdsFrom = x: if x > 255 then [ ] else [ x ] ++ allVmIdsFrom (x + 1);
in
allVmIdsFrom 100;
makeInstaller = import ./makeInstaller.nix; makeInstaller = import ./makeInstaller.nix;
in in

View file

@ -16,7 +16,7 @@ in
options = { options = {
procolix = { procolix = {
vmid = mkOption { vmid = mkOption {
type = types.int; type = types.ints.between 100 255;
description = '' description = ''
Identifier of the machine. This is a number between 100 and 255. Identifier of the machine. This is a number between 100 and 255.
''; '';