+ echo " Build docker images.
+
+ Usage:
+ ./$(basename $0) [-b <name>]
+ ./$(basename $0) [-p <name>]
+ ./$(basename $0) [-c]
+ ./$(basename $0) [-h]
+
+ Options:
+ -h Show this help.
+ -b <${images//+([[:space:]])/|}|all> Build docker images.
+ -p <${repositories//+([[:space:]])/|}|all> Push docker images.
+ -c Clean docker images." 1>&2; exit 1;