Cara Mengubah Ekstensi File dari File melalui Baris Perintah di Mac OS
Daftar Isi:
Pengguna baris perintah mungkin merasa terbantu untuk mengubah dan mengganti nama ekstensi file dari sekelompok file dalam direktori. Misalnya, katakanlah Anda memiliki kumpulan file dengan ekstensi file ".txt", tetapi Anda ingin semua ekstensi file tersebut menjadi ".py". Itulah yang akan kami tunjukkan di sini dengan mengandalkan skrip bash sederhana untuk mengubah sekelompok ekstensi file di baris perintah Mac OS / OS X, tetapi ini juga akan berfungsi di linux dan rasa unix lainnya juga.
Sebelum memulai, sadari bahwa ini tidak mengubah jenis file, ini hanya mengubah ekstensi file. Selain itu, pendekatan penelusuran ini sengaja menggunakan baris perintah dan dengan demikian ditujukan untuk pengguna yang lebih mahir. Namun, Terminal bukan satu-satunya cara untuk melakukan ini, jadi jika ini terlalu canggih atau tidak relevan dengan keahlian pengguna Anda, ingatlah bahwa Mac OS menawarkan alat sederhana untuk mengubah nama file secara batch di Mac OS dan mengubah ekstensi file secara batch di Finder juga, keduanya tidak memerlukan baris perintah sama sekali. OKE? Baiklah ke pendekatan baris perintah menggunakan skrip bash satu baris sederhana.
Ngomong-ngomong, Anda harus selalu membuat salinan dan/atau cadangan dari file yang Anda modifikasi, terutama jika Anda baru menggunakan baris perintah. Kegagalan untuk melakukannya dapat mengakibatkan kehilangan data, Terminal tidak memaafkan kesalahan ketik atau kesalahan, jadi jangan lewati pencadangan Anda.
Cara Mengubah Semua Ekstensi File di Direktori melalui Baris Perintah
Mari kita ambil beberapa contoh. Pada contoh pertama, kita akan mengubah semua file di direktori kerja saat ini dengan ekstensi ".txt" dan mengubahnya menjadi ".py". Dengan asumsi Anda berada di direktori di mana Anda ingin mengubah semua file di direktori saat ini ke ekstensi file baru, berikut adalah sintaks untuk digunakan:
untuk file di .txt; lakukan mv $file>"
Perhatikan ini menggunakan karakter penggantiartinya apa saja dan semua yang ada di direktori saat ini yang cocok dengan ekstensi file “.txt” akan diubah. Perhatikan juga beberapa contoh "txt" dan satu contoh "py" yang keduanya ingin Anda ubah agar sesuai dengan kebutuhan Anda.
Semua yang dilakukan ini adalah membuat loop sederhana di mana file yang cocok dengan wildcard dan ekstensi file awal ditemukan, dan kemudian melakukan perintah "mv" untuk memindahkan (mengganti nama) file tersebut dari ekstensi file awal ke penggantian. Cukup simpel kan?
Mari kita ambil contoh lain, katakanlah kita memiliki koleksi file gambar di direktori saat ini dengan nama file seperti "blahblah.jpg.JPEG" tetapi kita benar-benar hanya ingin semuanya memiliki nama file yang sama dari yang kurang berlebihan dan lebih mudah dibaca "blazblah.jpeg". Dalam hal ini, sintaks akan terlihat seperti berikut:
"untuk file dalam .jpg.JPEG; do mv $file ${file%.jpg.JPEG}.jpeg; selesai"
Pendekatan baris perintah untuk mengubah ekstensi file cukup cepat dan ekstensi file akan diubah dengan cepat, tanpa dialog peringatan atau konfirmasi.
Dan untuk mengulangi sekali lagi, ini bukan untuk mengonversi jenis file apa pun atau mengubah apa pun kecuali nama ekstensi file.
Tahu cara yang lebih baik untuk mengubah banyak ekstensi file dari file dalam direktori melalui baris perintah? Hanya ingin menelusuri beberapa tip baris perintah hebat lainnya (buka di sini)? Beri tahu kami pendapat Anda di komentar!