> ... But I think YOU (the person that is shuting down
>the system) are the only one that has to make sure not being in /home; all
>other processes that probably use that partition are supposed to be killed
>before any attempt to umount it.
>Write a shell-script that does `cd /' before `reboot'
clear to me that it should do the chdir itself, before trying to
unmount the partitions.
I'd consider it a bug if it doesn't.
Incidentally, it doesn't on my system, but the copy of reboot I have
is rather old.
2 Lexington Close, Cambridge, CB4 3LS, England; phone: +44 223 64238