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 On Tuesday, April 29, 2025 at 8:18:45 AM UTC-5 [email protected] wrote: > 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 > -- The deal.II project is located at http://www.dealii.org/ For mailing list/forum options, see https://groups.google.com/d/forum/dealii?hl=en --- You received this message because you are subscribed to the Google Groups "deal.II User Group" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion visit https://groups.google.com/d/msgid/dealii/b08c5ae6-4a39-4beb-b4bd-ed1eab3ad21dn%40googlegroups.com.
