1
0
Fork 0
mirror of https://github.com/nix-community/home-manager synced 2024-12-24 10:49:48 +01:00

autorandr: switch from types.string to types.str

This commit is contained in:
Robert Helgesson 2018-12-04 23:41:42 +01:00
parent 571e17410a
commit cd7b6fdbc1
No known key found for this signature in database
GPG key ID: 36BDAA14C2797E89

View file

@ -9,7 +9,7 @@ let
profileModule = types.submodule { profileModule = types.submodule {
options = { options = {
fingerprint = mkOption { fingerprint = mkOption {
type = types.attrsOf types.string; type = types.attrsOf types.str;
description = '' description = ''
Output name to EDID mapping. Output name to EDID mapping.
Use <code>autorandr --fingerprint</code> to get current setup values. Use <code>autorandr --fingerprint</code> to get current setup values.
@ -46,28 +46,28 @@ let
}; };
position = mkOption { position = mkOption {
type = types.string; type = types.str;
description = "Output position"; description = "Output position";
default = ""; default = "";
example = "5760x0"; example = "5760x0";
}; };
mode = mkOption { mode = mkOption {
type = types.string; type = types.str;
description = "Output resolution."; description = "Output resolution.";
default = ""; default = "";
example = "3840x2160"; example = "3840x2160";
}; };
rate = mkOption { rate = mkOption {
type = types.string; type = types.str;
description = "Output framerate."; description = "Output framerate.";
default = ""; default = "";
example = "60.00"; example = "60.00";
}; };
gamma = mkOption { gamma = mkOption {
type = types.string; type = types.str;
description = "Output gamma configuration."; description = "Output gamma configuration.";
default = ""; default = "";
example = "1.0:0.909:0.833"; example = "1.0:0.909:0.833";