Find the path of a shell command

[Jon Ribbens]

On 2022-10-12, Jon Ribbens <jon+usenet at unequivocal.eu> wrote:
> On 2022-10-12, Joe Pfeiffer <pfeiffer at cs.nmsu.edu> wrote:
>> Jon Ribbens <jon+usenet at unequivocal.eu> writes:
>>
>>> On 2022-10-12, Michael F. Stemper <michael.stemper at gmail.com> wrote:
>>>> On 12/10/2022 07.20, Chris Green wrote:
>>>>> ... and rm will just about always be in /usr/bin.
>>>>
>>>> On two different versions of Ubuntu, it's in /bin.
>>>
>>> It will almost always be in /bin in any Unix or Unix-like system,
>>> because it's one of the fundamental utilities that may be vital in
>>> fixing the system when it's booted in single-user mode and /usr may
>>> not be available. Also, the Filesystem Hierarchy Standard *requires*
>>> it to be in /bin.
>>>
>>> Having said that, nothing requires it not to be elsewhere *as well*,
>>> and in Ubuntu and other Linux systems it is in /usr/bin too. And because
>>> PATH for non-root users will usually contain /usr/bin before /bin (or
>>> indeed may not contain /bin at all), 'command -v rm' or 'which rm' will
>>> usually list the version of rm that is in /usr/bin.
>>>
>>> e.g. on Amazon Linux:
>>>
>>>     $ which rm
>>>     /usr/bin/rm
>>>     $ sudo which rm
>>>     /bin/rm
>>
>> Have some major Linux distributions not done usrmerge yet?  For any that
>> have, /bin is a symbolic link to /usr/bin
>
> I have immediate access to CentOS 7, Ubuntu 20, and Amazon Linux 2,
> and none of those have done that.

Sorry, in fact they have done that - I misread your comment as being
that they had symlinked the executables not the directories. This seems
quite an unwise move to me but presumably they've thought it through.