- Code: Select all
~# cat /etc/*release*
PRETTY_NAME="Debian GNU/Linux 7.0 (wheezy)"
NAME="Debian GNU/Linux"
VERSION_ID="7.0"
VERSION="7.0 (wheezy)"
ID=debian
ANSI_COLOR="1;31"
HOME_URL="http://www.debian.org/"
SUPPORT_URL="http://www.debian.org/support/"
BUG_REPORT_URL="http://bugs.debian.org/"
Due to kernel upgrade and security patches we have to reboot all servers into the new kernel.
In the course of a week we will restart all servers one by one, you will have to login and run your bots or stuff after the restart.