Bagaimana saya bisa memaksa Windows untuk membuat file huruf kecil saja?

Saya mengalami masalah ketika mengembangkan plugin WordPress di Windows, dan kemudian mengunggahnya ke server yang menjalankan Linux. Awalnya, nama file file itu Blue.pngdan dengan demikian saya mengubahnya menjadi blue.png. Pada awalnya itu tidak akan berubah (atau itu tetapi masih mengatakan Blue.png), saya beralih folder dan kembali lagi blue.png.

Sekarang ketika saya mengunggah plugin ini ke server mana pun yang menjalankan Linux, ia membaca nama file Blue.pngsehingga sekarang plugin saya tidak dapat menemukan file itu dan membuat kesalahan.

Apa yang bisa saya lakukan untuk memaksanya menggunakan blue.pngnama file?

windows-7

— Jared
sumber

Apakah tidak ada solusi dalam program pengunggahan file Anda? Seringkali mereka datang dengan opsi penyaringan nama untuk membiarkan Anda melakukan hal-hal seperti ini. Gagal dengan mengubah nama menggunakan program yang Anda unggah, misalnya mengeluarkan perintah MOVE untuk mengganti nama dengan FTP.

— deed02392

Yah saya menggunakan Git, tidak yakin apakah ia memiliki fitur itu tetapi saya akan memeriksanya. Git juga membaca nama file Blue.png.

— Jared

Ya saya tidak membantah Windows tidak mengubah nama seperti yang Anda inginkan, tetapi Git mungkin tidak akan mengubah nama itu di mesin Linux dan mencerminkan itu kembali ke Windows sangat intuitif. Mengganti nama file pada baris perintah dapat memberikan hasil yang lebih baik?

— deed02392

Tampaknya itu bekerja dengan Git, meskipun saya yakin itu akan bekerja sama dengan menggunakan perintah command line biasa. Pada dasarnya hanya menggunakan mvperintah.

— Jared

Senang mendengarnya :)

— deed02392

Windows memang memperlakukan nama file dengan cara yang tampaknya aneh, dan karena itu case-insensitive Anda dapat menemukan bahwa hanya mencoba mengubah kasus nama file bisa menjadi masalah. Masalahnya tidak membantu dengan fakta bahwa, misalnya, jika nama file semua huruf besar akan ditampilkan dalam huruf awal, yang membuatnya sulit mengetahui huruf apa sebenarnya nama file itu miliki.

Solusi paling sederhana adalah menghapus file dan membuatnya kembali atau mengubah nama menjadi sesuatu yang sama sekali berbeda dan kemudian kembali ke nama yang Anda inginkan. Jadi, dalam kasus Anda, Anda akan pergi:

Blue.png -> green.png -> blue.png

Jika Anda menggunakan kontrol sumber maka Anda harus melakukan penggantian nama ini di aplikasi kontrol sumber Anda daripada di Windows. Dalam hal ini Windows diberi tahu apa namanya dan Anda tidak dapat memodifikasinya.

— ChrisF
sumber

Terima kasih, penggantian nama berhasil, meskipun saya harus menggunakan Git ( git mv Blue.png blah.pnglalu git mv blah.png blue.png). Windows tidak peduli apa yang saya coba lakukan. :)

— Jared

@ Jared Ah - kesalahan saya. Itu juga benar.

— ChrisF