On Thu, Jul 5, 2012 at 9:43 AM, Herbert Xu <[email protected]> wrote: >> >>> That argues that we should drop our strcasecmp() for the much simpler >>> strcmp(), in order to remove the bloat we already have. >> >> Such a change would be at odds with the goal of dash to be a usable >> shell. It is not good to break existing scripts, even if those >> scripts are not strictly POSIX-compliant, and particularly so if the >> scripts relied on designed behaviour. Such changes can waste a lot of >> time. > > I agree with Jilles. I don't think any change is required here.
That answers directly to the case sensitivity of signal names. Is it also the same answer about supporting the SIG* prefix? Cheers. -- Isaac Jurado "The noblest pleasure is the joy of understanding" Leonardo da Vinci -- To unsubscribe from this list: send the line "unsubscribe dash" in the body of a message to [email protected] More majordomo info at http://vger.kernel.org/majordomo-info.html
