gitpod-tp-env

Using Emacs in Gitpod (Cloud dev. env.) for OCaml/Coq

Fork this repository (or use GitHub's template feature) so that it includes this .gitpod.yml file.
Log in Gitpod Classic using your GitHub account.
Open your Gitpod Preferences
- Set your Dotfiles Repository URL: https://github.com/erikmd/gitpod-workspace-emacs-nw
Open your Gitpod Environment Variables
- Add a new variable named XTERM_CONFIRM_BROWSER_EXIT with value true and scope */*
  (this setting ensures the usual Emacs keystroke Ctrl+W won't unexpectedly close your browser tab)
Open the Gitpod URL https://gitpod.io/new/?autostart=false&editor=xterm
- Fill the form with the URL of your own GitHub repository
- Select the Terminal editor and click on Continue
- If ever the loading takes too much time, try to reload the tab once (Ctrl+R)
Run emacs in the workspace shell (based on tmux)
Note the existence of the (?) special menu in Emacs, also:
- type Alt+F1 or Ctrl+F1 to get some help on the main key bindings;
- type F7 to disable xterm-mouse-mode and thus allow copy-and-paste with the mouse.
Open an OCaml (C-x C-f code.ml RET) or Coq (C-x C-f code.v RET) file.

Tip

You may also be interested in the Gitpod Browser Extension to create workspaces more easily from other repositories/PRs.

If remote pair-programming is needed:

You can save your work by using Git commands, for example:
git commit -a -m "WIP" && git push
Otherwise, you might want to Pin the workspace in https://gitpod.io/workspaces.

This approach relies on the Gitpod Classic plans which are intended to be replaced with Gitpod Flex after September 2025.