mirror of
https://github.com/NixOS/nixpkgs.git
synced 2025-06-20 16:39:31 +03:00
nixos/treewide: Remove usages of deprecated types.string
This commit is contained in:
parent
8b957e3b30
commit
0a377f11a5
2 changed files with 3 additions and 3 deletions
|
@ -37,7 +37,7 @@ in
|
||||||
enableProfilePath = mkEnableOption "exposing the Disnix profiles in the system's PATH";
|
enableProfilePath = mkEnableOption "exposing the Disnix profiles in the system's PATH";
|
||||||
|
|
||||||
profiles = mkOption {
|
profiles = mkOption {
|
||||||
type = types.listOf types.string;
|
type = types.listOf types.str;
|
||||||
default = [ "default" ];
|
default = [ "default" ];
|
||||||
example = [ "default" ];
|
example = [ "default" ];
|
||||||
description = "Names of the Disnix profiles to expose in the system's PATH";
|
description = "Names of the Disnix profiles to expose in the system's PATH";
|
||||||
|
|
|
@ -112,7 +112,7 @@ let
|
||||||
http://tools.ietf.org/html/rfc4366#section-3.1
|
http://tools.ietf.org/html/rfc4366#section-3.1
|
||||||
'';
|
'';
|
||||||
};
|
};
|
||||||
name = mkOpt types.string ''
|
name = mkOpt types.str ''
|
||||||
Name of the remote read config, which if specified must be unique among remote read configs.
|
Name of the remote read config, which if specified must be unique among remote read configs.
|
||||||
The name will be used in metrics and logging in place of a generated value to help users distinguish between
|
The name will be used in metrics and logging in place of a generated value to help users distinguish between
|
||||||
remote read configs.
|
remote read configs.
|
||||||
|
@ -174,7 +174,7 @@ let
|
||||||
write_relabel_configs = mkOpt (types.listOf promTypes.relabel_config) ''
|
write_relabel_configs = mkOpt (types.listOf promTypes.relabel_config) ''
|
||||||
List of remote write relabel configurations.
|
List of remote write relabel configurations.
|
||||||
'';
|
'';
|
||||||
name = mkOpt types.string ''
|
name = mkOpt types.str ''
|
||||||
Name of the remote write config, which if specified must be unique among remote write configs.
|
Name of the remote write config, which if specified must be unique among remote write configs.
|
||||||
The name will be used in metrics and logging in place of a generated value to help users distinguish between
|
The name will be used in metrics and logging in place of a generated value to help users distinguish between
|
||||||
remote write configs.
|
remote write configs.
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue