Host: urd2.let.rug.nl "Authorized uses only. All activity may be monitored and reported. CIT Rijksuniversiteit Groningen" NAME="Ubuntu" VERSION="18.04.5 LTS (Bionic Beaver)" ID=ubuntu ID_LIKE=debian PRETTY_NAME="Ubuntu 18.04.5 LTS" VERSION_ID="18.04" HOME_URL="https://www.ubuntu.com/" SUPPORT_URL="https://help.ubuntu.com/" BUG_REPORT_URL="https://bugs.launchpad.net/ubuntu/" PRIVACY_POLICY_URL="https://www.ubuntu.com/legal/terms-and-policies/privacy-policy" VERSION_CODENAME=bionic UBUNTU_CODENAME=bionic MySQL Version: /usr/sbin/mysqld Ver 5.7.42-0ubuntu0.18.04.1 for Linux on x86_64 ((Ubuntu)) PHP Version: 7.2.24-0ubuntu0.18.04.17