Lebih
Bagaimana cara mengganti nama direktori melalui command line?
Aku punya direktori /home/user/oldname
dan saya ingin ganti nama menjadi /home/user/newname
. Bagaimana saya bisa melakukan ini di terminal?
572
6
mv
dapat melakukan dua pekerjaan.Untuk mengubah nama file atau direktori ketik ini di Terminal:
dengan ruang antara yang lama dan nama baru.
Untuk memindahkan file atau direktori ketik ini di Terminal.
ini akan memindahkan file ke desktop.
Jika direktori anda harus menambahkan
-R
sebelum nama direktori:Yang akan mengubah nama direktori jika tujuan doesn't ada atau jika itu ada tetapi itu's kosong. Selain itu akan memberikan anda sebuah kesalahan.
Jika anda melakukan ini sebagai gantinya:
Salah satu dari dua hal akan terjadi:
/home/user/newname
doesn't ada, itu akan mengubah nama/home/user/oldname
ke/home/user/newname
/home/user/newname
ada, itu akan bergerak/home/user/oldname
menjadi/home/user/newname
, yaitu/home/user/newname/oldname
Sumber: Bagaimana untuk memutuskan bahwa mv bergerak ke direktori daripada mengganti direktori?
Jika anda ingin mengganti nama direktori di tingkat anda dalam file sistem (misalnya, anda berada di home directory anda dan ingin mengganti nama direktori yang juga di direktori home anda):
Ini
gvfs-pindah
perintah juga akan mengubah nama file dan direktori.gvfs-rename akan mengubah nama direktori juga. Ini akan memberikan pesan kesalahan jika sebuah direktori baru dengan nama yang sama sudah ada. Satu-satunya batasan adalah bahwa anda dapat't menggunakan path dengan nama folder. Jadi
tidak akan bekerja, tetapi
akan bekerja. Tidak berguna seperti mv -T tapi saya baca di man bahwa hal itu dimaksudkan untuk operasi jaringan.