Last time I tried to umount / and mount it again with different options I wedged my system and had to reboot. I think I even tried editing /etc/fstab first then type "umount / ; mount /" all on one line. What's the correct way to umount and re-mount /? Thanks.