post_install() {
  echo
  echo knotserver installed, with repositories stored in: /var/lib/tangled/repositories
  echo
  echo Set 'KNOT_SERVER_SECRET="..."' in /etc/tangled/knotserver
  echo and 'KNOT_SERVER_HOSTNAME' if 'hostname' does not return the FQDN
  echo 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/repositories git"
  echo
  echo and reload sshd
  echo
}