Why a '-quoted string isn't respected by // subst, while \-quoted is?

Why a '-quoted string isn't respected by // subst, while \-quoted is?

[Sebastian Gniazdowski]

[-- Attachment #1: Type: text/plain, Size: 519 bytes --]

Hi,
I'm storing a pattern in a var:

E="0='\${\${\\(M\\)\${0::=\${\\(%\\):-%x}}:\\#/\\*}:-\$PWD/\$0}'"

to then match it against:

Q='0=${${(M)${0::=${(%):-%x}}:#/*}:-$PWD/$0}'

with // substitution:

printf %s\\n $E $Q ${Q//$~E/q}

The result is no match. However, if I instead quote the string with \:

E='0=${${\(M\)${0::=${\(%\):-%x}}:\#/*}:-$PWD/$0}'

(only ),(,#,* are quoted), then it matches. Why? It would be more
comfortable to simply quote with ' the whole string...

-- 
Best regards,
Sebastian Gniazdowski

[-- Attachment #2: Type: text/html, Size: 2119 bytes --]

Re: Why a '-quoted string isn't respected by // subst, while \-quoted is?

[Roman Perepelitsa]

On Wed, Jan 25, 2023 at 12:05 PM Sebastian Gniazdowski
<sgniazdowski@gmail.com> wrote:
>
> Hi,
> I'm storing a pattern in a var:
>
> E="0='\${\${\\(M\\)\${0::=\${\\(%\\):-%x}}:\\#/\\*}:-\$PWD/\$0}'"
>
> to then match it against:
>
> Q='0=${${(M)${0::=${(%):-%x}}:#/*}:-$PWD/$0}'
>
> with // substitution:
>
> printf %s\\n $E $Q ${Q//$~E/q}
>
> The result is no match. However, if I instead quote the string with \:
>
> E='0=${${\(M\)${0::=${\(%\):-%x}}:\#/*}:-$PWD/$0}'

You can print them to see the difference:

    % E="0='\${\${\\(M\\)\${0::=\${\\(%\\):-%x}}:\\#/\\*}:-\$PWD/\$0}'"
    % print -r -- $E
    0='${${\(M\)${0::=${\(%\):-%x}}:\#/\*}:-$PWD/$0}'

    % E='0=${${\(M\)${0::=${\(%\):-%x}}:\#/*}:-$PWD/$0}'
    % print -r -- $E
    0=${${\(M\)${0::=${\(%\):-%x}}:\#/*}:-$PWD/$0}

As you can see, the first `E` has three extra characters: two quotes
and a backslash.

Roman.

Re: Why a '-quoted string isn't respected by // subst, while \-quoted is?

[Sebastian Gniazdowski]

[-- Attachment #1: Type: text/plain, Size: 1501 bytes --]

Ok, I'll take a closer look, however I'm now struggling with similar
problem:

QE='0=${${(M)${0::=${(%):-%x}}:#/*}:-$PWD/$0}'
print ${QE//'0=${${(M)${0::=${(%):-%x}}:#/*}:-$PWD/$0}'/°match°}

the strings in QE and in …//'…'/… are identical. Why no match? A simpler
example works as expected:

QE=qeqe
print ${(S)QE//'qeqe'/°match°}

Output:

°match°

On Wed, 25 Jan 2023 at 12:36, Roman Perepelitsa <roman.perepelitsa@gmail.com>
wrote:

> On Wed, Jan 25, 2023 at 12:05 PM Sebastian Gniazdowski
> <sgniazdowski@gmail.com> wrote:
> >
> > Hi,
> > I'm storing a pattern in a var:
> >
> > E="0='\${\${\\(M\\)\${0::=\${\\(%\\):-%x}}:\\#/\\*}:-\$PWD/\$0}'"
> >
> > to then match it against:
> >
> > Q='0=${${(M)${0::=${(%):-%x}}:#/*}:-$PWD/$0}'
> >
> > with // substitution:
> >
> > printf %s\\n $E $Q ${Q//$~E/q}
> >
> > The result is no match. However, if I instead quote the string with \:
> >
> > E='0=${${\(M\)${0::=${\(%\):-%x}}:\#/*}:-$PWD/$0}'
>
> You can print them to see the difference:
>
>     % E="0='\${\${\\(M\\)\${0::=\${\\(%\\):-%x}}:\\#/\\*}:-\$PWD/\$0}'"
>     % print -r -- $E
>     0='${${\(M\)${0::=${\(%\):-%x}}:\#/\*}:-$PWD/$0}'
>
>     % E='0=${${\(M\)${0::=${\(%\):-%x}}:\#/*}:-$PWD/$0}'
>     % print -r -- $E
>     0=${${\(M\)${0::=${\(%\):-%x}}:\#/*}:-$PWD/$0}
>
> As you can see, the first `E` has three extra characters: two quotes
> and a backslash.
>
> Roman.
>


-- 
Best regards,
Sebastian Gniazdowski

[-- Attachment #2: Type: text/html, Size: 3196 bytes --]

Re: Why a '-quoted string isn't respected by // subst, while \-quoted is?

[Sebastian Gniazdowski]

[-- Attachment #1: Type: text/plain, Size: 2018 bytes --]

It seems that it's / within the '-quoted string that causes the problem:

print ${QE//'0=${${(M)${0::=${(%):-%x}}:#\/*}:-$PWD\/$0}'/°match°}

outputs °match°, while:

print ${QE//'0=${${(M)${0::=${(%):-%x}}:#/*}:-$PWD/$0}'/°match°}

doesn't. Isn't it a bug of ignoring '-quoting of /?


On Wed, 25 Jan 2023 at 12:59, Sebastian Gniazdowski <sgniazdowski@gmail.com>
wrote:

> Ok, I'll take a closer look, however I'm now struggling with similar
> problem:
>
> QE='0=${${(M)${0::=${(%):-%x}}:#/*}:-$PWD/$0}'
> print ${QE//'0=${${(M)${0::=${(%):-%x}}:#/*}:-$PWD/$0}'/°match°}
>
> the strings in QE and in …//'…'/… are identical. Why no match? A simpler
> example works as expected:
>
> QE=qeqe
> print ${(S)QE//'qeqe'/°match°}
>
> Output:
>
> °match°
>
> On Wed, 25 Jan 2023 at 12:36, Roman Perepelitsa <
> roman.perepelitsa@gmail.com> wrote:
>
>> On Wed, Jan 25, 2023 at 12:05 PM Sebastian Gniazdowski
>> <sgniazdowski@gmail.com> wrote:
>> >
>> > Hi,
>> > I'm storing a pattern in a var:
>> >
>> > E="0='\${\${\\(M\\)\${0::=\${\\(%\\):-%x}}:\\#/\\*}:-\$PWD/\$0}'"
>> >
>> > to then match it against:
>> >
>> > Q='0=${${(M)${0::=${(%):-%x}}:#/*}:-$PWD/$0}'
>> >
>> > with // substitution:
>> >
>> > printf %s\\n $E $Q ${Q//$~E/q}
>> >
>> > The result is no match. However, if I instead quote the string with \:
>> >
>> > E='0=${${\(M\)${0::=${\(%\):-%x}}:\#/*}:-$PWD/$0}'
>>
>> You can print them to see the difference:
>>
>>     % E="0='\${\${\\(M\\)\${0::=\${\\(%\\):-%x}}:\\#/\\*}:-\$PWD/\$0}'"
>>     % print -r -- $E
>>     0='${${\(M\)${0::=${\(%\):-%x}}:\#/\*}:-$PWD/$0}'
>>
>>     % E='0=${${\(M\)${0::=${\(%\):-%x}}:\#/*}:-$PWD/$0}'
>>     % print -r -- $E
>>     0=${${\(M\)${0::=${\(%\):-%x}}:\#/*}:-$PWD/$0}
>>
>> As you can see, the first `E` has three extra characters: two quotes
>> and a backslash.
>>
>> Roman.
>>
>
>
> --
> Best regards,
> Sebastian Gniazdowski
>
>

-- 
Best regards,
Sebastian Gniazdowski

[-- Attachment #2: Type: text/html, Size: 4857 bytes --]

Re: Why a '-quoted string isn't respected by // subst, while \-quoted is?

[Roman Perepelitsa]

On Wed, Jan 25, 2023 at 2:00 PM Sebastian Gniazdowski
<sgniazdowski@gmail.com> wrote:
>
> Ok, I'll take a closer look, however I'm now struggling with similar problem:
>
> QE='0=${${(M)${0::=${(%):-%x}}:#/*}:-$PWD/$0}'
> print ${QE//'0=${${(M)${0::=${(%):-%x}}:#/*}:-$PWD/$0}'/°match°}
>
> the strings in QE and in …//'…'/… are identical. Why no match?

This looks like a bug in zsh. Here's a simpler test case:

    % x='/'
    % print -r -- ${x/'/'}
    /

I expect the output to be empty but it's in fact "/".

This one also looks wrong:

    % x=\'
    % print -r -- ${x/'/'}

Here the output is empty while I expect a single quote.

Roman.

Re: Why a '-quoted string isn't respected by // subst, while \-quoted is?

[Daniel Shahaf]

Roman Perepelitsa wrote on Wed, Jan 25, 2023 at 14:10:26 +0100:
> On Wed, Jan 25, 2023 at 2:00 PM Sebastian Gniazdowski
> <sgniazdowski@gmail.com> wrote:
> >
> > Ok, I'll take a closer look, however I'm now struggling with similar problem:
> >
> > QE='0=${${(M)${0::=${(%):-%x}}:#/*}:-$PWD/$0}'
> > print ${QE//'0=${${(M)${0::=${(%):-%x}}:#/*}:-$PWD/$0}'/°match°}
> >
> > the strings in QE and in …//'…'/… are identical. Why no match?
> 
> This looks like a bug in zsh. Here's a simpler test case:
> 
>     % x='/'
>     % print -r -- ${x/'/'}
>     /
> 
> I expect the output to be empty but it's in fact "/".
> 
> This one also looks wrong:
> 
>     % x=\'
>     % print -r -- ${x/'/'}
> 
> Here the output is empty while I expect a single quote.

XFail regression tests added in 096e72ce78ac.

Cheers,

Daniel

Re: Why a '-quoted string isn't respected by // subst, while \-quoted is?

[Bart Schaefer]

On Fri, Jan 27, 2023 at 10:44 AM Daniel Shahaf <d.s@daniel.shahaf.name> wrote:
>
> XFail regression tests added in 096e72ce78ac.

See also workers/51202