You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
@RonnyPfannschmidt / @nicoddemus is there a case for erroring if -k or -m is presented multiple times on the command line? (rather than tracking the initial values, using the latest and writing in the header to let the user know) ? I'll look into this one, im just wondering if we are overwriting anyway and always taking the latest if we should prevent -m foo -m bar initially? (not 100% on the edge cases here, so deferring to you)
as i keep both others and me making the mistake of thinking
-k
and-m
compound/or (even though they replace)i propose we show a note on discarded marker/keyword expressions in the header by default as it helps people to figure their mistake
The text was updated successfully, but these errors were encountered: