Self-contained repo: CDE config for Gitpod workspace based on Docker-Coq image using Emacs in (browser) Terminal.
MIT License
[!IMPORTANT] This repository essentially serves as a Gitpod Dotfiles repository for Emacs-in-Browser-Terminal.
It also serves as a ready-to-use demo (cf. steps 2. and 3. below) for OCaml and Coq experiments.
It should be unneeded to fork this repository for reusing its content in other projects: it suffices to follow step 2. below, and add a
.gitpod.yml
file in your own repository (see this repository template).
https://github.com/erikmd/gitpod-workspace-emacs-nw
Terminal
browser IDE
emacs
in the workspace shell (based on tmux
)(?)
special menu in Emacs, also:
This self-contained GitHub repository contains three branches:
This approach relies on the Gitpod Classic plans which are intended to be replaced with Gitpod Flex after April 2025.