===== Change grub menu =====
* Ref: https://wiki.debian.org/Grub#Configuring_GRUB_v2
* Edit /etc/default/grub
* Update grub menu
sudo update-grub
===== Change Hostname =====
* 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
===== Change Time Zone =====
* Type the command (Ref: http://www.oreilly.com/openbook/debian/book/ch07_05.html)
dpkg-reconfigure tzdata
===== Install Chinese fonts =====
sudo apt-get install ttf-wqy-microhei
===== Setup time synchronization =====
* Install rdate
sudo apt-get install rdate
* Ref: http://www.hao32.com/unix-linux/68.html
===== Update Linux kernel =====
* 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/