On Thu, Mar 09, 2017 at 11:21:10AM +0000, Guenter Milde wrote: > 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
I agree that * is an established wildcard, but doesn't it mean "all" or "everything"? For example, inset-forall uses '*' for "all insets". Wouldn't the analogy here be for it to mean "all formats", which is not what we want? > >>> «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 think "default" is good also. I was first thinking to use just a different symbol, such as '%', but nothing feels right. And "default" is more readable and the user does not have to type it often so I don't think we have to worry about extra key presses. > > I have no strong opinion. Just report to me if you end up agreeing on a > > solution, or feel free to change it yourself. I'll change it to "default" if no one beats me to it and no one disagrees in the next couple of days. Scott
signature.asc
Description: PGP signature
