/scripts/command/

• ../
• build
• build-docker
• configure
• copyright-check
• docker-run
• docker-run-user
• docker-shell
• format-check
• gen-coverage-report
• install