July 2nd, 2005

beartato phd

(no subject)

I had this weird windows situation that I managed to figure out how to solve. However, I don't know how to reproduce the problem, which is kind of sad. The problem was that I had somehow created an empty file whose name had some trailing spaces. Apparently a lot of windows API calls choke on such a thing. I couldn't even delete it from within a cygwin xterm. The solution was doing

rename "\\?\c:\Documents and Settings\jcreed\Desktop\name of file with trailing spaces " foo

and then deleting foo. I haven't a clue as to how such a file got created in the first place, though. It looked like something I would have got by accidentally pasting a bunch of text into a shell, but trying

echo blah > "test "

only creates a file named "test", not "test ".