diff --git a/run_trial.bash b/run_trial.bash index 6c4093f..24d6fd4 100755 --- a/run_trial.bash +++ b/run_trial.bash @@ -24,6 +24,7 @@ usage() } # Parse arguments +RUNTIME="runc" nvidia_arg="" image_nvidia="" @@ -34,6 +35,7 @@ do case $key in -n|--nvidia) + RUNTIME="nvidia" nvidia_arg="-n" image_nvidia="-nvidia" shift @@ -170,6 +172,8 @@ docker run \ --env ROS_MASTER_URI=${ROS_MASTER_URI} \ --env ROS_IP=${COMPETITOR_ROS_IP} \ --ip ${COMPETITOR_ROS_IP} \ + --privileged \ + --runtime=$RUNTIME \ ${DOCKERHUB_IMAGE} & # Run competition until server is ended