dist-upgrade

4.0から4.1にdist-upgradeした。それほど大きな変更はないので、特に準備などせずに、/etc/apt/sources.listをs/4.0/4.1/gしてから

# apt-get update
# apt-get dist-upgrade
# reboot

で終了。