On 2022-10-12, Joe Pfeiffer <pfeif...@cs.nmsu.edu> wrote: > Jon Ribbens <jon+use...@unequivocal.eu> writes: > >> On 2022-10-12, Michael F. Stemper <michael.stem...@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. -- https://mail.python.org/mailman/listinfo/python-list