ディレクトリを変更せずにファイル名を簡単に変更できますか?

ディレクトリを変更せずにファイル名を簡単に変更できますか?

パスやディレクトリの変更を不必要に繰り返さずにファイル(またはディレクトリ)の名前を変更する便利な方法はありますか?

例えば…

mv -some_flag db/migrations/abc_201911201243.php abc_20191101090000.php

...ファイルをディレクトリから移動せずに名前を変更します。

マニュアルページを見ましたが、mv何も見つかりませんrenameでしたrsyncので、これを行う明白ではないトリックがあるかどうか疑問に思いました。

ベストアンサー1

支柱の拡張を使用する:

mv -some_flag db/migrations/abc_201911{201243,01090000}.php

おすすめ記事