<br><br><div class="gmail_quote">On Thu, Apr 4, 2013 at 3:40 PM, Bernardo da Costa <span dir="ltr"><<a href="mailto:bernardo.da-costa@polytechnique.org" target="_blank">bernardo.da-costa@polytechnique.org</a>></span> wrote:<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

I would use pattern="${@// /*|*}" to avoid having both external commands<br>
and risk of quoting-mess. Unfortunately, this does not work (Bash will<br>
do substitution first, then only after make a single variable out of<br>
it.) So you could have<br>
<br>
pattern="$@"<br>
pattern="${pattern// /*|*}"<br></blockquote><div><br></div><div>Yes, exactly. I just did that a few minutes ago in my own reworking before I saw this email.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
 I imagined<br>
$* could work here in a single command, but have not succeeded, so I<br>
leave as a research problem ;-)<br></blockquote><div><br></div><div>This surprised me too... @ and * are "different".</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
sed 's/\.gpg$//'<br></blockquote><div><br></div><div>Thanks. There's another case in pass that uses the old construction. Obviously this one is better suited.</div></div>