1,806 views
この記事は最終更新から 2172日 が経過しています。
プログラムミスにより拡張子が .txt.txt なるファイルを5000個以上も生成してしまった。
これを一括で .txt に変更したい。
$ rename .txt.txt .txt *
アクセス数（直近7日）: ※試験運用中、BOT除外簡易実装済2025-10-18: 4回 2025-10-17: 0回 2025-10-16: 0回 2025-10-15: 0回 2025-10-14: 0回 2025-10-13: 1回 2025-10-12: 0回