pulp icon indicating copy to clipboard operation
pulp copied to clipboard

Have a `default` terminal in the configuration syntax

Open dmwit opened this issue 10 years ago • 0 comments

Every time I want to configure pulp for a new document, I have to come back here and remind myself what the default configuration is. It should be easy to get right -- e.g. by having a special default terminal in the configuration language that has the same meaning as not (boring | info | underfull | overfull) or whatever the heck the default actually is.

dmwit avatar Mar 23 '15 09:03 dmwit