On 2017-03-08, Guillaume Munch wrote: > Le 08/03/2017 à 13:18, Kornel Benko a écrit : >> Am Mittwoch, 8. März 2017 um 11:48:12, schrieb Guenter Milde >> <mi...@users.sf.net> >>>>> Would you be opposed to using a different symbol that is not interpreted >>>>> by common shells?
> I thought about it. >>> I prefer *, because >>> * it is established as wildcard symbol and even «'*'» is shorter than >>> «default» > This was my reasoning. Already saw * used elsewhere for lfuns. >>> * it is clearly separable from a file name (in contrast to "default"). >>> Günter >> But we already use 'pdf2,dvi,...'. No difference to 'default' from my >> pov. The parameter stays for format (not possible to mix with file >> name), so I do not see a problem. Sorry, I mixed this up. In this case I agree with "default". > I have no strong opinion. Just report to me if you end up agreeing on a > solution, or feel free to change it yourself. Günter
