gitpod-tp-env

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

Fork this repository (or use the template feature of GitHub)
Login in Gitpod using your GitHub account
Open your Gitpod Preferences
- Set your Dotfiles Repository URL: https://github.com/erikmd/gitpod-workspace-emacs-nw
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.
You may also be interested in the Gitpod Browser Extension to create workspaces more easily from other repositories/PRs.

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.