I git-cloned a repo for Linux divers(ath10k) having files named aux.h
and aux.c
.
Quoting the answer here,
MS-DOS Device Driver names cannot be used as file names in Windows. As a result, we are unable to name folders as con, aux, nul, etc.
Now I am stuck with those files and cannot delete them.
System:
Windows 10 Home
Version 21H2
OS build 19044.1645
Already tried (all commands executed with admin privileges):
- https://answers.microsoft.com/en-us/windows/forum/all/cant-delete-file-could-not-find-this-file-please/354fa74a-1d11-4acc-9fba-4128ca971e6c
- https://answers.microsoft.com/en-us/windows/forum/windows_7-files/cannot-delete-file-says-item-not-found-could-not/54d74f22-695d-4be3-8639-12f268680b00
- rm
aux.h
- rmdir /S /Q
Ath10k
(the root directory) - Force named a file aux.txt (prohibited file name) via Git Bash on Windows, cannot delete the file (or do anything to it)
del \\%computername%\c$\Users\Your_Path\aux
2 : Run bash with WSL, then you can userm aux