--batch is indeed the intended way to go here. Discussion with upstream concluded that it's just not worth fixing the case where --batch is left out.
--batch is indeed the intended way to go here. Discussion with upstream concluded that it's just not worth fixing the case where --batch is left out.