#!/bin/bash -e

echo "$SSH_KNOWN_HOSTS" > "$HOME/.ssh/known_hosts"
exec "$@"