-
Notifications
You must be signed in to change notification settings - Fork 5
Windows doc + scripts #9
base: master
Are you sure you want to change the base?
Conversation
IMAGE_FOLDER="docker-image" | ||
GPU=true | ||
GPU_OPT="--gpus all" | ||
OPTIRUN=false |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
optirun does not exist for Mac OSX
if [[ "$CACHE" = true ]]; then | ||
echo "Building the docker container using the cache, if present." | ||
$OPTIRUN_OPT docker build \ | ||
--build-arg USER_ID=$(id -u ${USER}) \ |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This is how the parameters are passed to the Dockerfile.
You can add a command-line parameter to read them from the user instead of pulling them from the system like it's done in Linux.
#USER alice | ||
|
||
# Working user | ||
RUN groupadd --gid 197121 alice && \ |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
UID and GID should not be hardcoded.
|
||
3. build the docker image using the docker cmd bash script | ||
|
||
`./docker-cmd-windows.sh -n=marl-parking-devel -b -c -r` |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This was from our specific project, it should be more generic in a howto.
|
||
5. use the following command line to run your docker image: | ||
|
||
(of course replace "GroupID, UserID and FolderPath" accordingly |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Can this be embedded in docker-cmd-windows.sh with
- DISPLAY
- UID & GID
as command-line parameters?
No description provided.