pespin has posted comments on this change. ( https://gerrit.osmocom.org/c/docker-playground/+/14527 )
Change subject: regen_doc.sh: Add optional parameter to customize docker execution ...................................................................... Patch Set 2: (1 comment) https://gerrit.osmocom.org/#/c/14527/2/scripts/regen_doc.sh File scripts/regen_doc.sh: https://gerrit.osmocom.org/#/c/14527/2/scripts/regen_doc.sh@28 PS2, Line 28: ${DOCKER_EXTRA} not sure if we need "" here. -- To view, visit https://gerrit.osmocom.org/c/docker-playground/+/14527 To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings Gerrit-Project: docker-playground Gerrit-Branch: master Gerrit-Change-Id: I52c3cb2cdcfb143e71ac2c1aa40bb466e41a0f5c Gerrit-Change-Number: 14527 Gerrit-PatchSet: 2 Gerrit-Owner: daniel <[email protected]> Gerrit-Reviewer: daniel <[email protected]> Gerrit-CC: pespin <[email protected]> Gerrit-Comment-Date: Wed, 19 Jun 2019 12:35:54 +0000 Gerrit-HasComments: Yes Gerrit-Has-Labels: No Gerrit-MessageType: comment
