post_install() {
  echo
  echo knotserver installed, with repositories stored in: /var/lib/tangled
  echo
  echo Use "systemctl edit knotserver.service" to set "KNOT_SERVER_OWNER" to the DID of the knot owner,
  echo and set "KNOT_SERVER_HOSTNAME" to the FQDN of your knot.
  echo
  echo To enable git push over ssh for tangled repositories, run:
  echo "  ln -s /usr/lib/systemd/sshd_config.d/knotserver.conf /etc/ssh/sshd_config.d/30-knotserver.conf"
  echo "  usermod -s /usr/bin/bash -d /var/lib/tangled git"
  echo
  echo and reload sshd
  echo
}