いつの間にか「A..」という名前のディレクトリーが作成されていた。
C:\Users\ID\A..
エクスプローラで削除しようとするとエラーになる。
この項目は見つかりませんでした。 次の場所にはありません。この項目の場所を確認してから再実行してください。C:\ユーザー\ID
コマンドプロンプトでやってみてもだめ。「管理者として実行」のコマンドプロンプトでも同じ。
C:\Users\ID>rmdir A.. 指定されたファイルが見つかりません。
「A..」に見えるが実は違う名前なのではないかと思って、
dir/x "A*"
とやってみたが、「A..」で間違いないようだ。なんだけど、
rmdir "A*"
を試してみても、
ファイル名、ディレクトリ名、またはボリューム ラベルの構文が間違っています。
と言われてだめ。
ファイル名の変更(エクスプローラ、コマンドプロンプトとも)もだめ。
万事休すか…
【解決策】
WSL(Windows Subsystem for Linux)をインストールしていたので、それを使ったら削除できた。
コマンドプロンプト起動 bash rmdir A..
【再現方法】
WSLのbashで
mkdir A..
とすれば再現可能。どうやらWindows 10では「.」で終わるディレクトリー名やファイル名は正常に扱われないようだ。へえ。
【別解】
解決したあと、「.」で終わるディレクトリーが原因なんだろうと思い、ググって見つけたサイト。
https://blog.halpas.com/archives/15368
WSLを使う方法に加えて、
rd /s "\\?\ドライブレター:\フォルダ名"
という方法が紹介してあった。具体的には、
rd /s "\\?\C:\Users\ID\A.."
であるが、確かにこれで削除できた。
rd /s "C:\Users\ID\A.."
ではだめだったので、「\\?\」がミソなんだと思う。なんなんだろう?