jroesch commented on a change in pull request #8670:
URL: https://github.com/apache/tvm/pull/8670#discussion_r686188242
##########
File path: docker/bash.sh
##########
@@ -30,152 +33,356 @@
# With -i, execute interactively.
#
-set -e
+set -euo pipefail
-source "$(dirname $0)/dev_common.sh" || exit 2
+function show_usage() {
+ cat <<EOF
+Usage: docker/bash.sh [-i|--interactive] [--net=host]
+ [--mount MOUNT_DIR] [--repo-mount-point REPO_MOUNT_POINT]
+ [--dry-run]
+ <DOCKER_IMAGE_NAME> [--] [COMMAND]
+
+-h, --help
+
+ Display this help message.
+
+-i, --interactive
+
+ Start the docker session in interactive mode.
+
+--net=host
+
+ Expose servers run into the container to the host, passing the
+ "--net=host" argument through to docker. On MacOS, this is
+ instead passed as "-p 8888:8888" since the host networking driver
+ isn't supported.
+
+--mount MOUNT_DIR
+
+ Expose MOUNT_DIR as an additional mount point inside the docker
+ container. The mount point inside the container is the same as
+ the folder location outside the container. This option can be
+ specified multiple times.
+
+--repo-mount-point REPO_MOUNT_POINT
+
+ The directory inside the docker container at which the TVM
+ repository should be mounted, and is used as the workspace inside
+ the docker container.
+
+ If unspecified, the mount location depends on the environment. If
+ running inside Jenkins, the mount location will be /workspace.
+ Otherwise, the mount location of the repository will be the same
+ as the external location of the repository, to maintain
+ compatibility with git-worktree.
+
+--dry-run
+
+ Print the docker command to be run, but do not execute it.
+
+DOCKER_IMAGE_NAME
+
+ The name of the docker container to be run. This can be an
+ explicit name of a docker image (e.g. "tlcpack/ci-gpu:v0.76") or
+ can be a shortcut as defined in the TVM Jenkinsfile
+ (e.g. "ci_gpu").
+
+COMMAND
+
+ The command to be run inside the docker container. If this is set
+ to "bash", both the --interactive and --net=host flags are set.
+ If no command is specified, defaults to "bash". If the command
+ contains dash-prefixed arguments, the command should be preceded
+ by -- to indicate arguments that are not intended for bash.sh.
+
+EOF
+}
-interactive=0
-if [ "$1" == "-i" ]; then
- interactive=1
- shift
+
+#################################
+### Start of argument parsing ###
+#################################
+
+SCRIPT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd -P)"
+REPO_DIR="$(dirname "${SCRIPT_DIR}")"
+
+DRY_RUN=false
+INTERACTIVE=false
+USE_NET_HOST=false
+DOCKER_IMAGE_NAME=
Review comment:
Is this empty initialization intended?
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: [email protected]
For queries about this service, please contact Infrastructure at:
[email protected]
