Skip to content

Add option to disable banner

Álvaro López García requested to merge github/fork/robeverest/devel into devel

Created by: robeverest

In some instances (e.g. in scripts) printing a banner on each udocker run is not desirable. This PR adds an option to disable said banner with --nobanner.

Merge request reports