copy and paste this google map to your website or blog!
Press copy button and paste into your blog or website.
(Please switch to 'HTML' mode when posting into your blog. Examples: WordPress Example, Blogger Example)
What is the difference between a Docker image and a container? From my article on Automating Docker Deployments (archived): Docker Images vs Containers In Dockerland, there are images and there are containers The two are closely related, but distinct For me, grasping this dichotomy has clarified Docker immensely What's an Image? An image is an inert, immutable, file that's essentially a snapshot of a container Images are created with the build
Find all files containing a specific text (string) on Linux How do I find all files containing a specific string of text within their file contents? The following doesn't work It seems to display every single file in the system find -type f -exec grep -H '
How do I delete a Git branch locally and remotely? Don't forget to do a git fetch --all --prune on other machines after deleting the remote branch on the server ||| After deleting the local branch with git branch -d and deleting the remote branch with git push origin --delete other machines may still have "obsolete tracking branches" (to see them do git branch -a) To get rid of these do git fetch --all --prune
Adding a method to an existing object instance in Python How do I add a method to an existing object (i e , not in the class definition) in Python? I understand that it's not generally considered good practice to do so, except in some cases
git: how to rename a branch (both local and remote)? I have a local branch master that points to a remote branch origin regacy (oops, typo!) How do I rename the remote branch to origin legacy or origin master? I tried: git remote rename regacy legac