Як я можу змусити Windows зробити файл лише малі?

У мене виникає проблема під час розробки плагіна WordPress в Windows, а потім завантаження його на будь-який сервер під управлінням Linux. Спочатку ім'я файлу було Blue.pngтаким чином, і я змінив його на blue.png. Спочатку це не змінилося (або це було, але все ще говорили Blue.png), я переключив папки і повернувся, і це було blue.png.

Тепер, коли я завантажую цей плагін на будь-який сервер під управлінням Linux, він читає ім’я файлу, Blue.pngтому тепер мій плагін не може знайти цей файл і видає помилку.

Що я можу зробити, щоб змусити його використовувати blue.pngяк ім'я файлу?

windows-7

— Джаред
джерело

Чи не існує рішення у вашій програмі для завантаження файлів? Часто вони оснащені опцією фільтрації перейменувань, щоб дозволити вам робити такі дії. Якщо не вдалося перейменувати його за допомогою програми, яку ви завантажуєте, наприклад, видавши команду MOVE для перейменування її на FTP.

— deed02392

Добре, що я використовую Git, не впевнений, чи має він цю особливість, але я буду вивчати це. Git читав ім'я файлу якBlue.png .

— Джаред

Так, я не заперечую, що Windows не перейменував її так, як ви хотіли, але Git, ймовірно, не зробив би перейменувати це на машині Linux і відобразити це назад до Windows дуже інтуїтивно. Перейменування файлу в командному рядку може дати кращі результати?

— deed02392

Мабуть, це працювало з Git, хоча я впевнений, що він би працював так само, використовуючи звичайні команди командного рядка. В основному просто за допомогою mvкоманди.

— Джаред

Радий почути це :)

— deed02392

Windows обробляє назви файлів явно незвичайними способами, і оскільки це нечутливе до регістру, ви можете виявити, що просто намагатися змінити регістр імені файлу може бути проблематичним. Справа не допомагає той факт, що, наприклад, якщо ім'я файлу є всім великим регістром, воно відображатиметься в початковому випадку, що ускладнює розуміння того, в якому випадку справді існує ім'я файлу.

Найпростіше рішення - або видалити файл і відтворити його, або перейменувати його на щось зовсім інше, а потім повернутись до імені, яке ви насправді хочете. Тож у вашому випадку ви йдете:

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

Якщо ви використовуєте управління джерелом, вам доведеться виконувати це перейменування у програмі управління джерелом, а не в Windows. У цьому випадку Windows повідомляється, що таке ім'я, і ви не можете його змінити.

— ChrisF
джерело

Дякую, перейменування спрацювало, хоча мені довелося користуватися Git ( git mv Blue.png blah.pngтоді git mv blah.png blue.png). Windows не хвилювало, що я намагався зробити. :)

— Джаред

@Jred Ah - моя помилка. Це теж правда.

— ChrisF