たくさんの画像 (.png) ファイルがあります。今、画像の名前を変更したい.画像の名前はそのようなものです
finalnfootok1.png
finalnodiabooks15.png
finalnpluggd17.png
そして今、私は文字「finaln」を高速から切り取り、最後の画像から数字を切り取りたいと思っています.ubuntuコマンドを使用して画像名の名前を変更するにはどうすればよいですか.
ubuntuのコマンドラインで正規表現を使用して画像の名前を変更する方法はありますか.renameコマンドを試してみましたが、forループの使用と画像から文字を切り取る方法が苦手です。