I was using 7-Zip and found some files that I was wanting to take a look at the hex dump of (out of curiosity) prefixed by a dollar sign. I used it to copy the files to a directory that I knew that they wouldn't exist nor be used. Now I've run into a dilemma: I want to either delete them or rename them. I know that this issue is most likely unresolvable through Windows, but in case this would fare better, I have had an Ubuntu installation for a while. I would prefer to do it through Windows, but it would entail some sort of direct BIOS call to the hard drive or something to that effect. I would like to rename it to something not involving dollar signs (It is one of those--and that's the same reason why this is a whole lot more difficult than a simple protected Windows file).
I have looked other places here to see if I can delete it, but that's easier said than done considering that the dollar sign is something that I'm pretty sure would not be easy to find using Linux. Any ideas on how to accomplish this?
As a side note, at least I know the file isn't in a spot where it would cause problems.