削除できないファイルに対処した

通常削除したのに反応がなく、さっぱり削除できないファイルができてしまった。

リストをとれば見えているし、削除にたいしてできないメッセージを出すということでもない。

さて、困ったと思ったのだけれど、そうかと思い直して Powershell にて

sudo del filename

としたら削除してくれた。よかった。