Cameron Simpson <c...@cskk.id.au> writes: > On 12Oct2022 20:54, Jon Ribbens <jon+use...@unequivocal.eu> wrote: >>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 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
