File tree Expand file tree Collapse file tree 2 files changed +5
-1
lines changed Expand file tree Collapse file tree 2 files changed +5
-1
lines changed Original file line number Diff line number Diff line change 1616 ok = ~isempty(System .IO .FileInfo(p ).LinkTarget);
1717 else
1818 attr = string(System .IO .File .GetAttributes(p ).ToString());
19- % https://learn.microsoft.com/en-us/dotnet/api/system.io.fileattributesN
19+ % https://learn.microsoft.com/en-us/dotnet/api/system.io.fileattributes
2020 % ReparsePoint is for Linux, macOS, and Windows
2121 ok = contains(attr , ' ReparsePoint' );
2222 end
Original file line number Diff line number Diff line change 2828 y = e1 == 0 && e2 == 0 && ...
2929 r1.ino == r2 .ino && r1 .dev == r2 .dev ;
3030
31+ elseif stdlib .has_dotnet()
32+ f1 = System .IO .FileInfo(path1 ).FullName;
33+ f2 = System .IO .FileInfo(path2 ).FullName;
34+ y = System .String .Equals(f1 , f2 , System .StringComparison .OrdinalIgnoreCase );
3135elseif stdlib .has_java() && stdlib .java_api() >= 11
3236% https://docs.oracle.com/en/java/javase/24/docs/api/java.base/java/nio/file/Files.html#isSameFile(java.nio.file.Path,java.nio.file.Path)
3337% Java 1.8 is buggy in some corner cases, so we require at least 11.
You can’t perform that action at this time.
0 commit comments