あいも変わらずExplorerはバグだらけのようだ。
デバッグしてやるつもりは無い。
Windows10、11のExplorerでいつからか仕様が変わって名前末尾のピリオド"."やスペース" "が許されなくなった。
しかしWindowsのAPIからはこれまでと変わらずそのような名前でも生成できる。
つまり、Explorerやコマンドプロンプト以外のアプリでそのような名前で生成すると、Explorerからもコマンドプロンプトからも変更及び削除等できない。はっきり言って不便極まりない。思い付きで仕様変更するのはやめていただきたい。せめて許容される名称への変更くらいはサポートされなければ使えない。
ネットで調べると一応回避策はあるようだ。
フォルダーの場合コマンドプロンプトで下記のように先頭に"\\?\"をつければ削除は出来る。
rd /s "\\?\c:\temp\fail."
しかしまぁ、困ったものだ。
USBフラッシュメモリを入れていた100均の小物入れだが、同じような物を見つけたので更新した。
サイドにチャック付ポケットが付いているのが中々無かった。
で、セリアでやっと見つけた。
あと1個しか無かったので危なかった。
platfomrioを使ってみようとVSCode用拡張機能をインストールしたところ、それまで動いていたローカルホストのプロキシサーバーが誤動作した。
platformioはHome画面がWebサーバーで動いているようだ。それでリモート制御も出来るんだな。へー・・・。
では、済まされない。
ローカルプロキシサーバーは128.0.0.1:8080で運用している。platformioの設定では128.0.0.1:0となっている。ポート番号が0の時は8010～8100のいずれかを自動で使うそうだ。で、たぶんplatformioが8080を使用したためプロキシサーバーが誤動作した。
platformioのポート設定を8008にしたところ問題解消した。
Windows10でモジュールのインストールをしようとしたら pip が古いからアップデートせよと・・・。
不用意に通常のコマンドプロンプトでアップデートしようとしたら中途半端に壊れてしまった。
管理者コマンドプロンプトにて、pipパッケージをインストールしなおしてアップデートした。
>python -m ensurepip --default-pip
>python -m pip install --upgrade pip
焦った。
常用していない言語は良くわからん。