Fantastic! I had to do it twice because I misread FILE in bold as actually typing file - but the person meant (See my notes on file and how to drag the filename out of trash etc).... but it worked the second time.
Pretty dangerous typing things in Terminal without really knowing what I'm doing - but I'd better learn all that stuff because one day I'm moving to Linux.