Ottobus Comments - Answer Overflow

Ottobus

Posts Comments

CCoder.com

•Created by Ottobus on 8/21/2024 in #help

Docker in workspaces and volumes

Ok: https://github.com/coder/coder/issues/14465

14 replies

CCoder.com

•Created by Ottobus on 8/21/2024 in #help

Docker in workspaces and volumes

It's working well, I have add xagrs to manage case when there si no container. Thanks

14 replies

CCoder.com

•Created by Ottobus on 8/21/2024 in #help

Docker in workspaces and volumes

And here is with restarting the workspace:

> docker container ls --all
CONTAINER ID   IMAGE     COMMAND   CREATED   STATUS    PORTS     NAMES

> docker volume ls         
DRIVER    VOLUME NAME

> docker run --rm --detach --env registry.internal/xxx/xxx:mariadb-10.5.23
56d836cac3938cb7f080d459aff2e7f9076f89155020cc2dab4e9e45919c7bf9

> docker container ls --all                                                                                                 
CONTAINER ID   IMAGE                                                              COMMAND                  CREATED          STATUS          PORTS      NAMES
56d836cac393   registry.internal/xxx/xxx:mariadb-10.5.23   "docker-entrypoint.s…"   11 seconds ago   Up 10 seconds   3306/tcp   intelligent_leavitt

> RESTARTING WORKSPACE
> docker volume ls                                                                                                          
DRIVER    VOLUME NAME
local     d76dbe298f4dd9461b9f0a9f58d45bb9b4240cd50210123b6bbd38061ab18387

> docker container ls --all
CONTAINER ID   IMAGE     COMMAND   CREATED   STATUS    PORTS     NAMES

> docker volume ls         
DRIVER    VOLUME NAME

> docker run --rm --detach --env registry.internal/xxx/xxx:mariadb-10.5.23
56d836cac3938cb7f080d459aff2e7f9076f89155020cc2dab4e9e45919c7bf9

> docker container ls --all                                                                                                 
CONTAINER ID   IMAGE                                                              COMMAND                  CREATED          STATUS          PORTS      NAMES
56d836cac393   registry.internal/xxx/xxx:mariadb-10.5.23   "docker-entrypoint.s…"   11 seconds ago   Up 10 seconds   3306/tcp   intelligent_leavitt

> RESTARTING WORKSPACE
> docker volume ls                                                                                                          
DRIVER    VOLUME NAME
local     d76dbe298f4dd9461b9f0a9f58d45bb9b4240cd50210123b6bbd38061ab18387

14 replies

CCoder.com

•Created by Ottobus on 8/21/2024 in #help

Docker in workspaces and volumes

yes, here is an example while stopping the container by myself:

> docker container ls --all
CONTAINER ID   IMAGE     COMMAND   CREATED   STATUS    PORTS     NAMES

> docker volume ls         
DRIVER    VOLUME NAME

> docker run --rm --detach registry.internal/xxx/xxx:mariadb-10.5.23
c035e8cde666aa23267cabfecd8ce9ebb5ae18570b80334753f8181c9664d0b0

> docker container ls --all                                                                                                 
CONTAINER ID   IMAGE                                                              COMMAND                  CREATED          STATUS         PORTS      NAMES
c035e8cde666   registry.internal/xxx/xxx:mariadb-10.5.23   "docker-entrypoint.s…"   11 seconds ago   Up 9 seconds   3306/tcp   relaxed_pare

> docker volume ls                                                                                                          
DRIVER    VOLUME NAME
local     016b2500068df0e58ea1bfb4aa4e4b74e18c2a14b215bcf501e87201cfc5439b

> docker stop c035e8cde666
c035e8cde666

> docker container ls --all
CONTAINER ID   IMAGE     COMMAND   CREATED   STATUS    PORTS     NAMES

> docker volume ls         
DRIVER    VOLUME NAME

> docker container ls --all
CONTAINER ID   IMAGE     COMMAND   CREATED   STATUS    PORTS     NAMES

> docker volume ls         
DRIVER    VOLUME NAME

> docker run --rm --detach registry.internal/xxx/xxx:mariadb-10.5.23
c035e8cde666aa23267cabfecd8ce9ebb5ae18570b80334753f8181c9664d0b0

> docker container ls --all                                                                                                 
CONTAINER ID   IMAGE                                                              COMMAND                  CREATED          STATUS         PORTS      NAMES
c035e8cde666   registry.internal/xxx/xxx:mariadb-10.5.23   "docker-entrypoint.s…"   11 seconds ago   Up 9 seconds   3306/tcp   relaxed_pare

> docker volume ls                                                                                                          
DRIVER    VOLUME NAME
local     016b2500068df0e58ea1bfb4aa4e4b74e18c2a14b215bcf501e87201cfc5439b

> docker stop c035e8cde666
c035e8cde666

> docker container ls --all
CONTAINER ID   IMAGE     COMMAND   CREATED   STATUS    PORTS     NAMES

> docker volume ls         
DRIVER    VOLUME NAME

14 replies

CCoder.com

•Created by Ottobus on 8/21/2024 in #help

Docker in workspaces and volumes

Thanks, Good idea for the shutdown_script. But docker is supposed to deleted anonymous volume when --rm option is specified as mentionned here in the doc:

Anonymous volumes are given a random name that's guaranteed to be unique within a given Docker host. Just like named volumes, anonymous volumes persist even if you remove the container that uses them, except if you use the --rm flag when creating the container, in which case the anonymous volume is destroyed

(https://docs.docker.com/engine/storage/#volumes).

14 replies

CCoder.com

•Created by Ottobus on 4/30/2024 in #help

Session token expiration date

Great, so it isn't configurable, Thanks !

6 replies

Gaming

Programming