Cameron Simpson <[email protected]> writes: > On 12Oct2022 20:54, Jon Ribbens <[email protected]> wrote: >>On 2022-10-12, Jon Ribbens <[email protected]> wrote: >>> On 2022-10-12, Joe Pfeiffer <[email protected]> wrote: >>>> Jon Ribbens <[email protected]> writes: >>>>> 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 > > The above example may just be a different ordering in $PATH.
Sure, but the point is OP can use either /bin/rm or /usr/bin/rm on the vast majority of systems and execute the same command. -- https://mail.python.org/mailman/listinfo/python-list
