パスやディレクトリの変更を不必要に繰り返さずにファイル(またはディレクトリ)の名前を変更する便利な方法はありますか?
例えば…
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