hi all, I just wanted to edit the web.xml file as described here to increase the session timeout which is abysmally short and started to really annoy me .
so … long story short - there is not a single file editor in the docker container. and I can’t install one, cause apt-get update is broken.
is that intentional?! cause it’s pretty, hm, impractical.