#!/bin/sh set -eu cd -- "$(dirname "$0")/../../.." . ./ci/sub/lib.sh help() { cat < .ssh/authorized_keys.dedup' sh_c ssh "$REMOTE_HOST" 'cp .ssh/authorized_keys.dedup .ssh/authorized_keys' sh_c ssh "$REMOTE_HOST" 'rm .ssh/authorized_keys.dedup' } main "$@"