On 2022-10-12, Jon Ribbens <jon+use...@unequivocal.eu> wrote: > 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.
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. -- https://mail.python.org/mailman/listinfo/python-list