On Thu, Feb 13, 2025 at 08:01:05PM +0900, Olaf Meeuwissen wrote:
...
...
> On Daedalus
>
> # type sh
> sh is /bin/sh
>
> On Excalibur
>
> # type sh
> sh is /usr/bin/sh

What is the type command?
When I ask
    man type
I get information about a DOS compatibility layer, which this
appears not to be.

But
    type sh
behaves as you say.

-- hendrik