<br><br><div class="gmail_quote">On Fri, Aug 27, 2010 at 7:36 PM, Matteo Sisti Sette <span dir="ltr">&lt;<a href="mailto:matteosistisette@gmail.com">matteosistisette@gmail.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">

<div class="im">On 08/27/2010 06:39 PM, cyrille henry wrote:<br>
<blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
for now, extern have priority over abstractions.<br>
</blockquote>
<br></div>
Ok thanks<div class="im"><br>
<br>
<blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
but replacing [abstraction_name] to [abs/abstraction_name] can be made<br>
in few sec with every text editor.<br>
</blockquote>
<br></div>
Yes of course, but I have to do it for every abstraction_name.<br>
<br>
However I now realise that I can get the list of abstraction names from the directory listing.<br>
<br>
Also I didn&#39;t know sed, thank you for the suggestion.<br>
<br clear="all"></blockquote></div><br>I suppose you already got it, so for the archives:<br><br>To replace foo with foo_bar in multiple files:<br>sed -i &#39;s/foo/foo_bar/g&#39;  *.pd<br><br><br>Andras<br>