Follow those instructions to get it up and running. No need for the old proxspace-environment anymore.
I also published a video on youtube, to show how you should use this docker container. https://www.youtube.com/watch?v=b5Zta89Cf6Q
Follow those instructions to get it up and running. No need for the old proxspace-environment anymore.
I also published a video on youtube, to show how you should use this docker container. https://www.youtube.com/watch?v=b5Zta89Cf6Q