2008/9/2 Chris O'Halloran <cmoman(a)gmail.com>:
Something I've found useful when working with external media in Konqueror (KDE) is holding down "shift" and then "right-clicking" what you want to delete, gives you the option to *delete* the file/s rather than move to trash (which is often a hidden folder created on the media you are actually trying to free up some space on!). I am not sure at present what the lastest Dolphin (KDE new file manager) is in this regard.
Doesn't work in gnome .. there is an option for a 'really delete' menu entry, but it still won't delete files you don't have write permission for. If you get a file root owns in .Trash you have to be root to delete it. alt-F2 `gksu nautilus` perhaps, then you can empty the trash from there? -- This email is for the intended recipient only. If you are not the intended recipient you must burn your computer, while standing on one foot and chanting the entire jabberwocky. The opinions expressed here are not necessarily the opinions of the person who expressed them.