こんにちは。zalgo（@zalgo3）です。最近知ったことをメモ書き程度にまとめておきます。 ディレクトリの中にある.datのファイルの拡張子を.txtに変えたいとき。 for i in *.dat; do mv $i ${i%.dat}.txt; done *はワイルドカード。任意の文字列に対応します…