Skip to content
GitLab
Explore
Sign in
Commits on Source (2)
Add script to launch a Docker bash easily
· 1145f75a
ynerant
authored
Sep 02, 2020
1145f75a
Send user id and group id in Docker bash
· 4e1bcd18
ynerant
authored
Sep 02, 2020
4e1bcd18
Hide whitespace changes
Inline
Side-by-side
shell/docker_bash
0 → 100755
View file @
4e1bcd18
#!/bin/bash
if
[
-r
Dockerfile
]
;
then
if
[
-w
/var/run/docker.sock
]
;
then
docker build
-t
nk20
.
docker run
-it
-u
$(
id
-u
)
:
$(
id
-g
)
--rm
-v
"
$(
pwd
)
:/var/www/note_kfet/"
-p
80:8080 nk20 bash
else
echo
"Merci de rejoindre le groupe docker (ou lancez ce script en sudo) afin de pouvoir vous connecter au socket Docker."
fi
else
echo
"N'exécutez ce fichier que dans la racine de votre projet, afin de pouvoir localiser le fichier Dockerfile."
fi
\ No newline at end of file