From a80aeb0903dcc8b621fd95eefb8ca6bd40f75488 Mon Sep 17 00:00:00 2001 From: soramimi Date: Fri, 27 Dec 2024 13:44:34 +0900 Subject: [PATCH] Update run command options for docker container --- docker/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docker/Makefile b/docker/Makefile index 31ad64df..70b94311 100644 --- a/docker/Makefile +++ b/docker/Makefile @@ -42,10 +42,10 @@ up: home home/.bashrc home/.profile echo CONTAINER_NAME=${NAME} >./home/.container.sh docker run --device /dev/fuse --privileged --name ${NAME} -d -p ${SSHPORT}:${SSHPORT} -v ${PROJHOME}:/${PROJNAME} -v ./home:${HOMEDIR} -e UNAME=${UNAME} -e GNAME=${GNAME} -e UID=${UID} -e GID=${GID} -e HOMEDIR=${HOMEDIR} -e CONTAINER_NAME=${NAME} -e SSHPORT=${SSHPORT} -e COMMAND=up ${NAME} -run: home home/.bashrc home/.profile +run: down home home/.bashrc home/.profile echo ${RUN} >home/run.sh echo CONTAINER_NAME=${NAME} >./home/.container.sh - docker run --device /dev/fuse --privileged --name ${NAME} --rm -p ${SSHPORT}:${SSHPORT} -v ${PROJHOME}:/${PROJNAME} -v ./home:${HOMEDIR} -e UNAME=${UNAME} -e GNAME=${GNAME} -e UID=${UID} -e GID=${GID} -e HOMEDIR=${HOMEDIR} -e CONTAINER_NAME=${NAME} -e COMMAND=run ${NAME} + docker run --device /dev/fuse --privileged --name ${NAME} --rm -v ${PROJHOME}:/${PROJNAME} -v ./home:${HOMEDIR} -e UNAME=${UNAME} -e GNAME=${GNAME} -e UID=${UID} -e GID=${GID} -e HOMEDIR=${HOMEDIR} -e CONTAINER_NAME=${NAME} -e COMMAND=run ${NAME} home: -mkdir home