On Sunday, 9 October 2016 at 05:09:28 UTC, Mike Parker wrote:
On Saturday, 8 October 2016 at 23:05:51 UTC, Jinx wrote:
how to add command line options to the dub.json so they do not
have to be typed on the command line every time?
AFAIK, there's not support for this. Is it really necessary,
though? It's a one line shell script.
huh? Yes it is necessary. How hard could it be. Editing a script
is the same as editing the json file and creates junk files. Why
make things harder than they have to be? Seems like it would be
rather trivial to implement.