What shortcuts does Grok have?

Here's some handy shortcuts on Grok!

In regular editing mode:

F6: Run button
F7: Terminal button
F8: Compile button
F9: Mark button
ctrl-s: Save button

In terminal mode:

ctrl+l: Clear terminal

Grok also supports Vim or Emacs mode!

From the learning interface, click the cog and enable Vim or Emacs key bindings.

Emacs mode has the standard commands. In vim mode, in addition to standard commands like :w doing the expected things, the following additional commands exist:

:run: Run button
:terminal: Terminal button
:compile: Compile button
:mark: Mark button