Very good Grasshoper! Clearly, you are not focusing only on the finger, but all the heavenly glory ;)
Oooops! Sorry Richard, quite right, treat rm with respect else it will eat you! Of course, it's not just -f that's needed, a -r would also be require to nuke a directory tree to the ground ;) On 28/05/10 09:23, Martin Nix wrote: > Danger Will Robinson - the rm command should be : > > rm /mnt/home/foo > > (not that it would have worked without a -f but the implication was > pretty bad) - agree the rest, would also suggest checking > permissions/ownership on your home > > If the diskspace looks acceptable, then run "touch /mnt/home/foo" if > there's a problem writing to the disk, this command will spew out an > error message. If it doesn't run "rm /mnt/home" to remove the file. > > Let us know what happens with the above suggestions, unless anyone else > as an elegant solution? > > Cheers, > Jon -- All postal correspondence to: Positive House, 24 Broadway, London. W13 0SU The Positive Internet Company Limited is registered in England and Wales. Registered company number: 3673639. VAT no: 726 7072 28. Registered office: Northside House, Mount Pleasant, Barnet, Herts, EN4 9EE. _______________________________________________ Peterboro mailing list Peterboro@mailman.lug.org.uk https://mailman.lug.org.uk/mailman/listinfo/peterboro
