今日の振り返り

怪我で筋を痛めてしまいました！
何をするのも辛い ToT
今日はあまりに痛いのでお風呂に入るのもやめて寝てしまった。

あと最近、「今日の振り返り」を翌日に書くようになっているのも良くない ToT

Linuxのrenameコマンド

Linuxにはrenameというコマンドがあることを知らなかった。
ファイルの拡張子をまとめて変更したくて、コマンドラインでforとか書きたくないなと思っていたときに発見。

ファイル名を一括変更するには（renameコマンド） - Ubuntu Japanese Wiki
https://wiki.ubuntulinux.jp/UbuntuTips/FileHandling/RenameCommand

例えば.rstの拡張子を.txtに変えたいときは

$ rename 's/\.rst$/.txt/' *.rst

これでできる。sedと同じ構文なのでわかりやすい。