Compare commits

..

No commits in common. "077ce8bf350bdd85b176dea62624262984c0acdf" and "a8a685ccf3d84ed98d4eb9fc31827b88920becd6" have entirely different histories.

2 changed files with 1 additions and 31 deletions

View file

@ -98,13 +98,11 @@ in
}; };
arrival = { arrival = {
location = "Chile"; location = "Prague";
}; };
pathStyle = { pathStyle = {
weight = 10; weight = 10;
color = "purple";
geodesic = true;
}; };
}; };

View file

@ -19,34 +19,8 @@ let
type = lib.types.ints.between 1 20; type = lib.types.ints.between 1 20;
default = 5; default = 5;
}; };
color = lib.mkOption {
type = colorType;
default = "blue";
};
geodesic = lib.mkOption {
type = lib.types.bool;
default = false;
}; };
}; };
};
colorType = lib.types.either
(lib.types.strMatching "0x[0-9A-F]{3}([0-9A-F]([0-9A-F]{2}([0-9A-F]{2})?)?)?")
(
lib.types.enum [
"black"
"blue"
"brown"
"gray"
"green"
"orange"
"purple"
"red"
"white"
"yellow"
]);
in in
{ {
options = { options = {
@ -90,8 +64,6 @@ in
attributes = attributes =
[ [
"weight:${toString path.style.weight}" "weight:${toString path.style.weight}"
"color:${path.style.color}"
"geodesic:${lib.boolToString path.style.geodesic}"
] ]
++ builtins.map attrForLocation path.locations; ++ builtins.map attrForLocation path.locations;
in in