Mario Harper marioharper
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| [ | |
| // Toggle between terminal and editor focus | |
| { "key": "ctrl+`", "command": "workbench.action.terminal.focus" }, | |
| { | |
| "key": "ctrl+`", | |
| "command": "workbench.action.focusActiveEditorGroup", | |
| "when": "terminalFocus" | |
| } | |
| ] |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| { | |
| "editor.minimap.enabled": false, | |
| "editor.rulers": [80], | |
| "editor.tabSize": 2, | |
| "terminal.integrated.fontFamily": "Roboto Mono for Powerline", | |
| "workbench.colorTheme": "One Dark Pro Bold", | |
| "workbench.iconTheme": "vs-seti", | |
| "workbench.panel.defaultLocation": "right" | |
| } |
marioharper
/ clean-docker.sh
Last active
July 31, 2023 12:44
Stop all docker processes, remove all containers, remove all images
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # stop all processes | |
| docker stop $(docker ps -aq) | |
| # remove all containers | |
| docker rm $(docker ps -aq) | |
| # remove all images | |
| docker rmi $(docker images -aq) | |
| # delete all volumes |