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

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

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

例えば…

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

答え2

適切な解決策を見つけたようです。ディレクトリを変更してください。それから戻ってくる

cd db/migrations/ && mv abc_201911201243.php abc_20191101090000.php && cd ~-

関連情報