Recent content by jk8

  1. J

    Windows 10 Reserved file names.

    Yes, it was the result of attempting to rename aux.rs to aux?.rs: the illegal question mark was replaced with a legal unicode character. I am now trying to reproduce it but without success, the new name with its illegal character is simply rejected and the former name is restored. But I can...
  2. J

    Windows 10 Reserved file names.

    There is no unicode in aux.rs and it lets me save it. I'll look for some place to report it at Microsoft. Thanks for the input!
  3. J

    Windows 10 Reserved file names.

    Is this the right place to report this glitch, or is there a better way to do so?
  4. J

    Windows 10 Reserved file names.

    VS Code prevents it for you? For me (version 1.28.0) it lets me name a source file aux.rs, which leads to compilation errors. If I try to name it aux?.rs however an error message is generated: "The name aux?.rs is not valid as a file or folder name. Please chose a different name." ...and the...
  5. J

    Windows 10 Reserved file names.

    Windows Explorer checks for that, but that's only one particular app which is written to do so, it's not the underlying file system. Others, for example Microsoft Studio Code which happens to be in front of me right now, let me create source files with forbidden names. This program is not...
  6. J

    Windows 10 Reserved file names.

    People at various times run into mysterious problems that have no apparent source but are eventually found out to be caused by the innocent use of a file named "aux.txt" or any one of the other reserved file names. It isn't realistic to expect that all users of such an ubiquitous system as...
Back
Top Bottom