On Wed, 14 Sep 2016 17:53:06 +0200 Vincent Lefevre <[email protected]> wrote: > Package: dash > Version: 0.5.8-2.3 > Severity: normal > > $ ls -l /bin/sh > lrwxrwxrwx 1 root root 4 2016-07-05 23:59:04 /bin/sh -> dash > $ /bin/sh > $ foo=abcdef; echo "${foo#'ab'}" > abcdef > > which is incorrect. One should get: > > $ foo=abcdef; echo "${foo#'ab'}" > cdef
This is what I’m getting with the latest upstream version:
$ foo=abcdef; echo "${foo#'ab'}"
cdef
$
--
Cheers,
Andrej
