How can I remove old and unused Docker images? - Stack Overflow Update Sept 2016: Docker 1 13: PR 26108 and commit 86de7c0 introduce a few new commands to help facilitate visualizing how much space the docker daemon data is taking on disk and allowing for easily cleaning up "unneeded" excess docker system prune will delete all dangling data (containers, networks, and images) You can remove all unused volumes with the --volumes option and remove all
What are the differences between git remote prune, git prune, git fetch . . . This command will show a list of all local branches that don't have a corresponding remote branch You could pipe this to xargs git branch -D, but note that any new branches you've created but never pushed to the server would be deleted, so tread carefully: git branch -r | awk '{print $1}' | egrep -v -f dev fd 0 <(git branch -vv | grep origin) | awk '{print $1}'
Jupyter %%prun magic output not displayed properly in VS Code Since very recently I have a problem where the output of %%prun is not displayed properly in VS Code Jupyter (all output is on one line instead of in a nicely formatted table) I tried reloading the
What does git fetch -p (or --prune) mean - Stack Overflow The other answers explain what git fetch --prune does, but there is one case where it needs to be a bit more precise: when the there is nothing to fetch (no new refs) from the In that case, it does prune the remote tracking branches (from remotes anUpstreamRepo *), but it didn't say what upstream repo was the cause of said pruning This is fixed by commit 4b3b33a by Tom Miller (tmiller) for