On Fri, 14 Mar 2014, SF Markus Elfring wrote: > > Could you explain in words what replace is supposed to do, for example? > > Yes, of course. > > It should replace each quotation mark in a string by two of this character. > (Quotes should become duplicated.)
The string in question is the file name from a position variable. A file name does not contain a quote character. When you print a string, it appears as eg "foo", but the only characters in the string are f o and o. If you want to put a quote character before and after, The simplest would be: Printf.sprintf "\"%s\"" place.file. julia _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
