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/e21a61f3-e4e4-482e-a3f0-2dcb4385546dn%40googlegroups.com.
