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
A 'nice' to have, and only if it's easy to detect:
if there are no elements left in the target, quit early - stop removing, and skip reading additional files.
A naive way to do this might be accumulate the number of removed elements, and if it exceeds the target element count, quit. But I'm not sure if this is a robust method.
The text was updated successfully, but these errors were encountered:
A 'nice' to have, and only if it's easy to detect:
if there are no elements left in the target, quit early - stop removing, and skip reading additional files.
A naive way to do this might be accumulate the number of removed elements, and if it exceeds the target element count, quit. But I'm not sure if this is a robust method.
The text was updated successfully, but these errors were encountered: