On 01.08.2019 16:26, René Scharfe wrote:
Would it make sense to have a --paths-file parameter instead
Both approaches (stdin or file) will work well for us. File soundseasier from programming perspective. However, in previous discussion, there was some concern about possible security problems with this approach.