22 Nov
2024
22 Nov
'24
1:13 a.m.
On 2024-11-21 23:07, Samuel Sieb wrote:
On 2024-11-21 22:27, Tim via users wrote:
I'm always a bit dubious about deleting a link. I don't want the tool to delete the file it links to.
I've never seen a tool that would do that.
Actually, there's one case to be aware of on the command line. If you have a link to a directory, if you put the "/" on the end, it refers to the target, not the link. But then you should be using just "rm", not "rm -r" anyway, so it would fail if you have the "/".