Skip to content

Instantly share code, notes, and snippets.

@andredtr
Created January 20, 2024 14:08
Show Gist options
  • Select an option

  • Save andredtr/f372177a8fdea60e72937f7ad10f429d to your computer and use it in GitHub Desktop.

Select an option

Save andredtr/f372177a8fdea60e72937f7ad10f429d to your computer and use it in GitHub Desktop.
Commit & push with cmd+enter
[
{ "key": "cmd+enter", "command": "workbench.action.terminal.sendSequence","args": { "text": "git add .\u000Dgit commit -m \"x\"\u000Dgit push\u000D"},"when": "editorTextFocus"}
]
https://twitter.com/levelsio/status/1743014947263479894
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment