File delete not case sensitive

Development Tools IDE 2.x
1

In windows 11, IDE 2.0.0-rc9-20220801 I had 2 files open in the IDE with same name but one starting lowercase, the other uppercase. I deleted the lowercase file and both instances where deleted from the file system. :frowning:

2

Right! Windows file names are not case sensitive. :stuck_out_tongue: (I don't have Windows 11 but I guess that hasn't changed.)

It does save & display the case but you can't have MyFile.txt and a different myfile.text in the same folder... They are the same file.

3

Always has been true of stuff from Microsoft from MSDOS onward.

4

How did you delete? Windows explorer? There is no option to delete files in RC9 as far as I can see.
How did you manage to create two files with only a difference in capitalisation in one directory?

5

I am updating a set of sketches replacing a .h file, the file has the same name as the old the only difference is it starts with uppercase.
So I copy the file to the directory of the sketch while the sketch is open.
The file shows up in the IDE automatically. Then I have to files in the IDE one with lowercase and one with uppercase. You can then select the old file and a 'X' apears next to the file from there you can delete the file (lowercase) and both instances are gone from IDE and directory.

6

That is the way Windows works.

Linux works differently, as letter case is respected in file names.

7

I have a file abc.h in my sketch directory. I try to drag a file Abc.h from somewhere into the sketch directory using file explorer and Windows 10 only allows me to replace.
After that in file explorer

image
image625×101 5.89 KB

and in the IDE
image
image1527×135 9.03 KB

I think it's a bug that the tab with the lowercase abc.h was not removed from the IDE. But it might depend on the sequence in which Windows does its actions whether you see both *.h files or only one (that happened when I tried a cut-and-paste).
It's not a bug that both files are gone as there was only one in the first place (see the explorer screenshot).

PS

  1. I did figure out how you delete; you delete a 'tab'
  2. I only managed to get it like this (IDE screenshot) by dragging a file, not by cut-and-paste.
    [edit] but also not consistently :frowning: I think that you were just unlucky that both files showed.
8

And got deleted :frowning:

9

Thanks @Xinonix. I also encountered this bug some time back but never got around to reporting it.

I have now submitted a formal report on your behalf:

Try following the procedure I provided in the issue above. That one produces the issue 100% consistently for me.

10

Thanks for that

11

This topic was automatically closed 180 days after the last reply. New replies are no longer allowed.