···537537 Refresh interval to re-read the instance list.
538538 '';
539539540540- port = mkDefOpt types.int "80" ''
540540+ port = mkDefOpt types.port "80" ''
541541 The port to scrape metrics from. If using the public IP
542542 address, this must instead be specified in the relabeling
543543 rule.
···609609 };
610610611611 promTypes.digitalocean_sd_config = mkSdConfigModule {
612612- port = mkDefOpt types.int "80" ''
612612+ port = mkDefOpt types.port "80" ''
613613 The port to scrape metrics from.
614614 '';
615615···626626 '';
627627 };
628628629629- port = mkDefOpt types.int "80" ''
629629+ port = mkDefOpt types.port "80" ''
630630 The port to scrape metrics from, when `role` is nodes, and for discovered
631631 tasks and services that don't have published ports.
632632 '';
···687687 The type of DNS query to perform. One of SRV, A, or AAAA.
688688 '';
689689690690- port = mkOpt types.int ''
690690+ port = mkOpt types.port ''
691691 The port number used if the query type is not SRV.
692692 '';
693693···731731 Refresh interval to re-read the instance list.
732732 '';
733733734734- port = mkDefOpt types.int "80" ''
734734+ port = mkDefOpt types.port "80" ''
735735 The port to scrape metrics from. If using the public IP
736736 address, this must instead be specified in the relabeling
737737 rule.
···840840 '';
841841 };
842842843843- port = mkDefOpt types.int "80" ''
843843+ port = mkDefOpt types.port "80" ''
844844 The port to scrape metrics from.
845845 '';
846846···999999 Refresh interval to re-read the instance list.
10001000 '';
1001100110021002- port = mkDefOpt types.int "80" ''
10021002+ port = mkDefOpt types.port "80" ''
10031003 The port to scrape metrics from. If using the public IP address, this must
10041004 instead be specified in the relabeling rule.
10051005 '';
···10071007 };
1008100810091009 promTypes.linode_sd_config = mkSdConfigModule {
10101010- port = mkDefOpt types.int "80" ''
10101010+ port = mkDefOpt types.port "80" ''
10111011 The port to scrape metrics from.
10121012 '';
10131013···11481148 Refresh interval to re-read the instance list.
11491149 '';
1150115011511151- port = mkDefOpt types.int "80" ''
11511151+ port = mkDefOpt types.port "80" ''
11521152 The port to scrape metrics from. If using the public IP address, this must
11531153 instead be specified in the relabeling rule.
11541154 '';
···11931193 Refresh interval to re-read the resources list.
11941194 '';
1195119511961196- port = mkDefOpt types.int "80" ''
11961196+ port = mkDefOpt types.port "80" ''
11971197 The port to scrape metrics from.
11981198 '';
11991199 };
···12311231 '';
12321232 };
1233123312341234- port = mkDefOpt types.int "80" ''
12341234+ port = mkDefOpt types.port "80" ''
12351235 The port to scrape metrics from.
12361236 '';
12371237···13071307 If omitted all containers owned by the requesting account are scraped.
13081308 '';
1309130913101310- port = mkDefOpt types.int "9163" ''
13101310+ port = mkDefOpt types.port "9163" ''
13111311 The port to use for discovery and metric scraping.
13121312 '';
13131313