hongmengwang

[
	{ "keys": ["super+shift+w"], "command": "close_all" },
	{ "keys": ["super+shift+s"], "command": "save_all" },

	{ "keys": ["alt+up"], "command": "swap_line_up" },
	{ "keys": ["alt+down"], "command": "swap_line_down" },
	{ "keys": ["super+alt+j"], "command": "join_lines" },
	{ "keys": ["super+alt+down"], "command": "duplicate_line" },

	{ "keys": ["shift+super+r"], "command": "show_overlay", "args": {"overlay": "goto", "show_files": true} },

hongmengwang

Docker - How to cleanup (unused) resources

Once in a while, you may need to cleanup resources (containers, volumes, images, networks) ...

delete volumes

// see: https://github.com/chadoe/docker-cleanup-volumes

$ docker volume rm $(docker volume ls -qf dangling=true)

$ docker volume ls -qf dangling=true | xargs -r docker volume rm