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