[docker] How do I edit a file after I shell to a Docker container?