2021-08-15 16:12:23 +01:00
|
|
|
{ runCommand, openssh }:
|
2021-04-08 13:53:06 +01:00
|
|
|
|
2021-08-15 16:12:23 +01:00
|
|
|
runCommand "ssh-copy-id-${openssh.version}" {
|
2021-04-08 13:53:06 +01:00
|
|
|
meta = openssh.meta // {
|
|
|
|
|
description = "A tool to copy SSH public keys to a remote machine";
|
|
|
|
|
priority = (openssh.meta.priority or 0) - 1;
|
|
|
|
|
};
|
|
|
|
|
} ''
|
|
|
|
|
install -Dm 755 {${openssh},$out}/bin/ssh-copy-id
|
|
|
|
|
install -Dm 644 {${openssh},$out}/share/man/man1/ssh-copy-id.1.gz
|
|
|
|
|
''
|
