On 11/24/22 00:36, Thomas Gläßle wrote:
>
>     # ln -s /usr/local/bin /mnt
>     # cd /mnt

Of course, /mnt was a bad choice because it already exists. Take /bar 
instead.