XueLab

• Ref: https://wiki.debian.org/Grub#Configuring_GRUB_v2
• Edit /etc/default/grub
• Update grub menu

sudo update-grub

• Ref: https://wiki.debian.org/HowTo/ChangeHostname
• Edit /etc/hostname and /etc/hosts
  • To make it take effect right away

invoke-rc.d hostname.sh start
invoke-rc.d networking force-reload
invoke-rc.d network-manager force-reload

# alternatively, we can use
# sudo hostname NEW_HOSTNAME

• Type the command (Ref: http://www.oreilly.com/openbook/debian/book/ch07_05.html)

dpkg-reconfigure tzdata

sudo apt-get install ttf-wqy-microhei

• Install rdate

sudo apt-get install rdate

• Ref: http://www.hao32.com/unix-linux/68.html

• https://wiki.debian.org/HowToUpgradeKernel
• https://wiki.debian.org/Backports
• https://scottlinux.com/2013/11/23/how-to-install-newer-kernel-from-debian-wheezy-backports/