CONSFIGURATOR.PROPERTY.SSH
API reference
General
Property: SSH:HAS-USER-KEY
(ssh:has-user-key dest public-key &key iden1)
Installs an SSH keypair to DEST and DEST.pub.
Property: SSH:KNOWN-HOST
(ssh:known-host host &key short-hostname aliases ips additional-names)
Ensures that the SSH host keys of HOST are stored in ~/.ssh/known_hosts. If SHORT-HOSTNAME, include the part of HOST’s hostname before the first dot as one of the hostnames identifying HOST. Removes any other host keys identifying HOST, to simplify refreshing keys.
Property: SSH:SYSTEM-KNOWN-HOST
(ssh:system-known-host host &key short-hostname aliases ips additional-names)
Ensures that SSH host keys of HOST are stored in /etc/ssh/ssh_known_hosts. If SHORT-HOSTNAME, include the part of HOST’s hostname before the first dot as one of the hostnames identifying HOST. Removes any other host keys identifying HOST, to simplify refreshing keys.
Property: SSH:PARENT-IS-SYSTEM-KNOWN-HOST
(ssh:parent-is-system-known-host &key short-hostname aliases ips additional-names)
Ensures that the SSH host keys of the parent host are stored in /etc/ssh/ssh_known_hosts; SHORT-HOSTNAME is as for SSH:SYSTEM-KNOWN-HOST.