Làm cách nào tôi có thể buộc Windows chỉ tạo một tệp chữ thường?

Tôi gặp sự cố khi phát triển plugin WordPress trong Windows và sau đó tải nó lên bất kỳ máy chủ nào chạy Linux. Ban đầu, tên tệp của tệp là Blue.pngdo đó tôi đã đổi nó thành blue.png. Lúc đầu, nó sẽ không thay đổi (hoặc đã làm nhưng vẫn nói Blue.png), tôi chuyển thư mục và quay lại và nó đã được blue.png.

Bây giờ khi tôi tải plugin này lên bất kỳ máy chủ nào chạy Linux, nó sẽ đọc tên tệp vì Blue.pngvậy bây giờ plugin của tôi không thể tìm thấy tệp đó và đưa ra lỗi.

Tôi có thể làm gì để buộc nó sử dụng blue.pnglàm tên tệp?

windows-7

— Jared
nguồn

Không có một giải pháp trong chương trình tải lên tập tin của bạn? Thường thì chúng đi kèm với một tùy chọn lọc đổi tên để cho phép bạn làm những việc như thế này. Không thể đơn giản đổi tên nó bằng chương trình bạn đang tải lên, ví dụ: ban hành lệnh MOVE để đổi tên nó bằng FTP.

— deed02392

Tôi đang sử dụng Git, không chắc nó có tính năng đó không nhưng tôi sẽ xem xét nó. Git cũng đang đọc tên tập tin Blue.png.

— Jared

Vâng, tôi không tranh cãi Windows đã không đổi tên nó như bạn muốn nhưng Git có lẽ sẽ không đổi tên nó trên máy Linux và phản ánh điều đó trở lại với Windows rất trực quan. Đổi tên tập tin trên dòng lệnh có thể mang lại kết quả tốt hơn?

— deed02392

Rõ ràng nó hoạt động với Git, mặc dù tôi chắc chắn rằng nó sẽ hoạt động tương tự bằng cách sử dụng các lệnh dòng lệnh thông thường. Về cơ bản chỉ cần sử dụng mvlệnh.

— Jared

Vui mừng khi nghe nó :)

— deed02392

Windows xử lý tên tệp theo những cách rõ ràng kỳ lạ và vì nó không nhạy cảm với trường hợp nên bạn có thể thấy rằng chỉ cần cố gắng thay đổi trường hợp tên tệp có thể là vấn đề. Điều này không giúp được gì bởi thực tế là, ví dụ, nếu tên tệp là chữ hoa, nó sẽ được hiển thị trong trường hợp ban đầu, điều này gây khó khăn cho việc biết tên tệp thực sự có trường hợp nào.

Giải pháp đơn giản nhất là xóa tệp và tạo lại hoặc đổi tên thành một cái gì đó hoàn toàn khác và sau đó trở lại tên bạn thực sự muốn. Vì vậy, trong trường hợp của bạn, bạn sẽ đi:

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

Nếu bạn đang sử dụng kiểm soát nguồn thì bạn sẽ phải thực hiện việc đổi tên này trong ứng dụng kiểm soát nguồn của mình chứ không phải trong Windows. Trong trường hợp này, Windows sẽ được cho biết tên đó là gì và bạn không thể sửa đổi nó.

— ChrisF
nguồn

Cảm ơn, đổi tên nó đã hoạt động, mặc dù tôi phải sử dụng Git ( git mv Blue.png blah.pngsau đó git mv blah.png blue.png). Windows không quan tâm tôi đang cố làm gì. :)

— Jared

@Jared Ah - sai lầm của tôi. Điều đó cũng đúng.

— ChrisF