306 reputation
39
bio website androidsx.com
location Geneva, Switzerland
age 29
visits member for 4 years, 2 months
seen yesterday

Developer. During the day, working on the control system for the particle accelerator complex at CERN. At night, hacking out Android apps.


Apr
28
awarded  Caucus
Feb
7
awarded  Notable Question
Apr
10
comment How to delete a file that contains a backslash in the name under Windows 7?
A chkdsk /F fixed it! It basically deleted the file :)
Apr
10
awarded  Scholar
Apr
10
accepted How to delete a file that contains a backslash in the name under Windows 7?
Apr
8
awarded  Popular Question
Apr
8
comment How to delete a file that contains a backslash in the name under Windows 7?
Yeah, it's really weird. I did try deleting the parent folder, it was actually my original objective.
Apr
7
awarded  Good Question
Apr
7
awarded  Autobiographer
Apr
7
awarded  Commentator
Apr
7
comment How to delete a file that contains a backslash in the name under Windows 7?
It doesn't work either! I tried both with "\\" (as it appears in ls) and with single backslash and quotes.
Apr
7
revised How to delete a file that contains a backslash in the name under Windows 7?
Added a screenshot with some of the deletion attempts
Apr
7
comment How to delete a file that contains a backslash in the name under Windows 7?
@Amazed fsutil does not manage either: it returns the error "The system cannot find the path specified"
Apr
7
comment How to delete a file that contains a backslash in the name under Windows 7?
Nop, it says "The system cannot find the path specified". Good idea, though
Apr
7
comment How to delete a file that contains a backslash in the name under Windows 7?
Good suggestion. I've used auto-complete everytime it was possible, to avoid typos.
Apr
7
comment How to delete a file that contains a backslash in the name under Windows 7?
@nalply I don't remember how I created it! I'd say it was created by 7zip from a Windows Server 2008, but how the hell did it manage?
Apr
7
awarded  Yearling
Apr
7
comment How to delete a file that contains a backslash in the name under Windows 7?
@Moab it's not a duplicate, this one is trickier!
Apr
7
comment How to delete a file that contains a backslash in the name under Windows 7?
Believe it or not, the output of dir /x is _ workspaces\google-gson-1.7.1-release.zip_. I was convinced that this answer (which coincides with @EBGreen's) would work, though!
Apr
7
comment How to delete a file that contains a backslash in the name under Windows 7?
That's a great suggestion, I was convinced it would work... but it does not! As @Rob has suggested, I've used dir /x to find out the short name but... the short name is the same as the long name. Can't believe it!