cli: make --plugin-path and --omit-{system,home}-plugin-path global opts
This page took 0.038514 seconds and 3 git commands to generate.