You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Declaring a path as parameter for ssh with the option deployment.sshOptions displays this error:
error: A definition for option deployment.sshOptions.[definition 1-entry 2]' is not of type string'. Definition values:
While it makes sense to restrict the list values to only string types, it could be nice to also allow putting whole nix paths, and have the cast to string be done inside the module, instead of having to manually cast them to string.
This valid example: deployment.sshOptions = ["-F" "${../ssh.config}"];
Could become this: deployment.sshOptions = ["-F" ../ssh.config];
The text was updated successfully, but these errors were encountered:
Declaring a path as parameter for ssh with the option
deployment.sshOptions
displays this error:While it makes sense to restrict the list values to only string types, it could be nice to also allow putting whole nix paths, and have the cast to string be done inside the module, instead of having to manually cast them to string.
This valid example:
deployment.sshOptions = ["-F" "${../ssh.config}"];
Could become this:
deployment.sshOptions = ["-F" ../ssh.config];
The text was updated successfully, but these errors were encountered: