Come posso forzare Windows a creare un file solo in minuscolo?

Sto riscontrando un problema durante lo sviluppo di un plug-in WordPress in Windows e il caricamento su qualsiasi server che esegue Linux. Inizialmente, il nome del file era Blue.pnge quindi l'ho cambiato in blue.png. All'inizio non sarebbe cambiato (o lo ha fatto ma stava ancora dicendo Blue.png), ho cambiato cartella e sono tornato ed è stato blue.png.

Ora, quando carico questo plugin su qualsiasi server che esegue Linux, legge il nome del file, Blue.pngcosì ora il mio plugin non riesce a trovare quel file e genera un errore.

Cosa posso fare per costringerlo a usare blue.pngcome nome file?

windows-7

— Jared
fonte

Non esiste una soluzione nel tuo programma di caricamento file? Spesso vengono forniti con un'opzione di filtro di ridenominazione che consente di fare cose del genere. In caso contrario, potresti semplicemente rinominarlo utilizzando il programma con cui stai caricando, ad esempio eseguendo un comando MOVE per rinominarlo con FTP.

— deed02392

Bene, sto usando Git, non sono sicuro che abbia quella funzione, ma lo esaminerò. Anche Git stava leggendo il nome del file Blue.png.

— Jared

Sì, non sto contestando che Windows non lo abbia rinominato come desiderato, ma Git probabilmente non lo renderebbe molto intuitivo rinominarlo sulla macchina Linux e rispecchiarlo su Windows. Rinominare il file dalla riga di comando potrebbe produrre risultati migliori?

— deed02392

Apparentemente ha funzionato con Git, anche se sono sicuro che funzionerebbe allo stesso modo usando i normali comandi da riga di comando. Fondamentalmente basta usare il mvcomando.

— Jared

Sono contento di ascoltarlo :)

— deed02392

Windows tratta i nomi dei file in modi apparentemente strani e, poiché non fa distinzione tra maiuscole e minuscole, puoi scoprire che il solo tentativo di cambiare il caso di un nome file può essere problematico. La cosa non è di aiuto dal fatto che, ad esempio, se il nome del file è tutto in maiuscolo verrà visualizzato nel caso iniziale, il che rende difficile sapere quale sia il caso del nome del file.

La soluzione più semplice è quella di eliminare il file e ricrearlo o rinominarlo in qualcosa di completamente diverso e quindi tornare al nome che si desidera effettivamente. Quindi nel tuo caso andresti:

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

Se si utilizza il controllo del codice sorgente, è necessario eseguire questa ridenominazione nell'applicazione di controllo del codice sorgente anziché in Windows. In questo caso a Windows viene detto quale è il nome e non è possibile modificarlo.

— ChrisF
fonte

Grazie, rinominare ha funzionato, anche se ho dovuto usare Git ( git mv Blue.png blah.pngallora git mv blah.png blue.png). A Windows non importava cosa stavo cercando di fare. :)

— Jared

@Jared Ah - il mio errore. Anche questo è vero.

— ChrisF,