sudo apt-get dist-upgrade
でいろいろ変更されてヘンだなぁと思っていたら,
何やらまた不調ぎみ.
reboot
必要かしらんと思って再起動してみたら
……
boot しなくなった.
apt-get dist-upgrade
のしくじりなのか不明.
/dev/sda4 14088992 2952000 10421300 23% / none 505692 696 504996 1% /dev none 512324 504 511820 1% /dev/shm none 512324 100 512224 1% /var/run none 512324 0 512324 0% /var/lock /dev/sda1 10082852 579728 8990936 7% /var /dev/sda3 5833872 2879184 2658336 52% /home
/home
以下はうまく再利用できたので,
昨日の苦闘も再利用できたわけだ.
<input type="hidden" name="domains" value="hosho.ees.hokudai.ac.jp"/>
をぬいてみた.
出力は少しすっきりするわけだが
……
ユーザーは困らないかな?