#!/bin/bash -e

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