On 02/10/2016 11:43 AM, Ralf Corsepius wrote: > You should understand that /usr/bin/sed is a Fedora proprietary > location, while /bin/sed is the traditional location sed was installed, > which occasionally can be found hard-coded in many places.
Sorry, that's rewriting history. Full paths for POSIX system utilities have never been uniform across systems. /bin/sed was the traditional version, usually buggy and broken, with tight limits on buffer sizes and so on. The main problem is if someone writes a sed script on Fedora, puts “#!/usr/bin/sed -f” at the beginning, and has no way to tell that this is non-portable to other distributions because all available data (file system and RPM manifests) are misleading. We don't have a good answer to that, I think. (This cuts both ways—full multi-arch, as found on other systems, is incompatible with traditional file system layout, too.) Florian -- devel mailing list devel@lists.fedoraproject.org http://lists.fedoraproject.org/admin/lists/devel@lists.fedoraproject.org
