> > If no, I think we need to patch /bin/sh. > We would not be able to patch every /bin/sh in every distribution, > so it wouldn't be a good idea for Debian to take t his approach.
As far as I know, following can provide /bin/sh: dash,bash,posh,mksh,zsh. Many, I agree. But do you know of any better generic solution? Piping to sort is not a solution, given that filename is anything, but '/' and '\0'. Since principled solution would require a lot of time, I will apply you patch (thanks), but situation is unsatisfactory. -- Accept: text/plain, text/x-diff Accept-Language: eo,en,ru X-Keep-In-CC: yes X-Web-Site: sinsekvu.github.io
