unison icon indicating copy to clipboard operation
unison copied to clipboard

limit delete.namespace output

Open ceedubs opened this issue 3 years ago • 5 comments

Per Slack discussion.

Say that I do something like fork .base .base2 and then delete.namespace .base2. Currently the delete.namespace takes a while to run (~minute). Part of this time (though we haven't measured how much) is spent rendering a pretty-printed description of what has changed. This output is verbose and not that useful (and possibly taking a long time to render).

@pchiusano's proposal:

Print out the names (no type signatures needed) that were removed, up to 20 or whatever then add some ellipses if there were more.

ceedubs avatar Feb 11 '22 20:02 ceedubs