> Probably we could just pass -F option to grep? grep -F would seem a lot safer in many places, yes.
> By the way, could someone please explain what does this sed command > mean? > sed -n ':a;/^[^ ]* \/ /!{H;n;ba};{H;s/.*//;x;s/\n//;p}' It is my understanding that it copies into sed's clipboard every mount line that isn't mounted on "/", until it finds one that is, and then it pastes from the clipboard and outputs all those previous lines and the current one. In effect, that would only remove all the lines after the last line mounted on "/". -- Pierre Ynard