Update Docker Desktop wo loosing deal.II container

[Anna Titlbach]

Hello everyone / Dear Luca,

I participated in an excellent deal.II course from Luca Heltai, where he and his colleague assisted me in setting up deal.II in a docker desktop container on my windows laptop (without requiring admin rights and where also debugging is properly working).

Thanks to your help, I've been happily working with that setup ever since.

But... since docker desktop in the meantime really needs to be updated in a newer version - and the automatic update of docker desktop fails, which is, as I've read, a common issue -  I am asking in this user group today: How can I update docker desktop, without loosing or changing the container with the perfectly working deal.II installation inside?

I really hesitated to ask this question in the deal.II user group because it is more related to docker. Nevertheless, I hope I can get some help here, as some of the developers are maintaining the deal.II docker images and are experienced in this regard.

Thank you very much in advance.

Best regards,

Anna

[Raghu Nandan Pratoori]

Hello,

I am neither a deal.ii developer nor a user of deal.ii with docker. But here is what I used to do whenever I was faced with similar situation - updating docker with losing the installation:

1. Push the image to your online dockerhub account

2. Update docker

3. Pull the image from your dockerhub account - usually <username>/<docker container name>

This does not save all your working files or scripts.

Hope this helps.

- Raghunandan