Docker support

[j4qfrost]

Hope this is helpful.

[dpsanders]

Thanks! In my experience just installing and running Docker is rather tricky.

[dpsanders]

Maybe "Quick start using Docker"

[j4qfrost]

Thanks! In my experience just installing and running Docker is rather tricky.

I did consider that this might cause more issues than it fixes. Windows Home edition doesn't allow virtualization, so this might not be usable by a lot of students. I'm fine with just letting this sit, or if you would rather close the request I'm cool with that too.

[fonsp]

It's great that you wrote it into a Docker image, but I think that this is more appropriate as part of Pluto.jl or PlutoUtils.jl - have a look at this work here:
fonsp/PlutoUtils.jl#5
fonsp/PlutoUtils.jl#3

This course should be simple and clear, and I think that this adds a complicated option that is not suitable for newcomers.

A final comment is that the git repository for this course changes constantly, and is meant to be read via the new website, not by manually updating a docker instance or pulling changes to a clone. In other words, using the docker image does not make it easier to follow the course during the coming months.

Perhaps you could take a look at the links I sent to see if you can contribute there? This part of Pluto still needs some work. And at the end of this course, we could revisit the option of including a Docker file in 18S191 again.

[j4qfrost]

Will do thanks. I'll close out the pull request.

…

On Sun, Sep 6, 2020, 4:28 PM Fons van der Plas ***@***.***> wrote: It's great that you wrote it into a Docker image, but I think that this is more appropriate as part of Pluto.jl or PlutoUtils.jl - have a look at this work here: fonsp/PlutoUtils.jl#5 <fonsp/PlutoUtils.jl#5> fonsp/PlutoUtils.jl#3 <fonsp/PlutoUtils.jl#3> This course should be simple and clear, and I think that this adds a complicated option that is not suitable for newcomers. A final comment is that the git repository for this course changes constantly, and is meant to be read via the new website, not by manually updating a docker instance or pulling changes to a clone. In other words, using the docker image does not make it easier to follow the course during the coming months. Perhaps you could take a look at the links I sent to see if you can contribute there? This part of Pluto still needs some work. And at the end of this course, we could revisit the option of including a Docker file in 18S191 again. — You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub <#16 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AA6S7P7C4ITF2BPY46I7C3DSEQLKJANCNFSM4Q443P4Q> .