===== Change grub menu =====
  * Ref: https://wiki.debian.org/Grub#Configuring_GRUB_v2
  * Edit /etc/default/grub
  * Update grub menu
<code>
sudo update-grub
</code>

===== Change Hostname =====
  * Ref: https://wiki.debian.org/HowTo/ChangeHostname
  * Edit /etc/hostname and /etc/hosts
    * To make it take effect right away
<code>
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
</code>

===== Change Time Zone =====
  * Type the command (Ref: http://www.oreilly.com/openbook/debian/book/ch07_05.html), then choose "Asia"->"Shanghai"
<code>
dpkg-reconfigure tzdata
</code>
===== Install Chinese fonts =====
<code>
sudo apt-get install ttf-wqy-microhei
</code>

===== Setup time synchronization =====
  * Install rdate
<code>
sudo apt-get install rdate
</code>
  * 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/