Source: https://code.visualstudio.com/shortcuts/keyboard-shortcuts-linux.pdf