chiark / gitweb /
mount: also exclude /usr from unmount at shutdown