adapt hostname for containers

  • raistlin.rz.tu-harburg.de wurde zu prod-docker-raistlin.rz.tuhh.de
  • adapt KNOWN_HOSTS ssh-keyscan -p PORT HOST
Edited by Fabian Nuraddin Alexander Gabel