chiark / gitweb /
umount: don't try to umount /usr, if we are running from it