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.
I have no strong opinion. Just report to me if you end up agreeing on a
solution, or feel free to change it yourself.
Thank you for the feedback.
Guillaume
