fix(shell): auto-repair DNS resolution at container startup#169

skulidropek merged 4 commits intoProverCoderAI:mainProverCoderAI/docker-git:mainfrom

konard:issue-168-c8c1e3f993cakonard/ProverCoderAI-docker-git:issue-168-c8c1e3f993caCopy head branch name to clipboard