Alexandra Østermark bd9d865912
fix removing symlinks on windows (#9704)
this PR should close #9624

# Description

Fixes the `rm` command assuming that a symlink is a directory and trying
to delete the directory as opposed to unlinking the symlink.

Should probably be tested on linux before merge.

Added tests for deleting symlinks
2023-07-20 20:16:03 +02:00
..
2022-12-26 02:31:26 -05:00
2023-07-06 00:07:07 +02:00
2023-07-06 00:07:07 +02:00
2023-07-20 20:16:03 +02:00
2023-07-12 00:00:31 +02:00