Aku punya direktori /home/user/oldname
dan saya ingin ganti nama menjadi /home/user/newname
. Bagaimana saya bisa melakukan ini di terminal?
mv /home/user/oldname /home/user/newname
mv
dapat melakukan dua pekerjaan.
Untuk mengubah nama file atau direktori ketik ini di Terminal:
mv old_name new_name
dengan ruang antara yang lama dan nama baru.
Untuk memindahkan file atau direktori ketik ini di Terminal.
mv file_name ~/Desktop
ini akan memindahkan file ke desktop.
Jika direktori anda harus menambahkan -R
sebelum nama direktori:
mv -R directory_name ~/Desktop
mv -T /home/user/oldname /home/user/newname
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:
mv /home/user/oldname /home/user/newname
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?
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
gvfs-rename /home/boo /home/boo-the-dog
tidak akan bekerja, tetapi
cd /home
gvfs-rename boo boo-the-dog
akan bekerja. Tidak berguna seperti mv -T tapi saya baca di man bahwa hal itu dimaksudkan untuk operasi jaringan.