diff options
| author | Quentin Aristote <quentin@aristote.fr> | 2021-12-11 09:51:17 +0100 |
|---|---|---|
| committer | Quentin Aristote <quentin@aristote.fr> | 2021-12-11 09:51:17 +0100 |
| commit | 1a4ad01928ae316466f166c61060f57a39031b54 (patch) | |
| tree | c9c9161bda38e5f4a5a1b05dcefdfbebd4aa410a /home/config | |
| parent | fd01345059dcf9086716980e70a275441ab0d270 (diff) | |
set default editor in why3
Diffstat (limited to 'home/config')
| -rw-r--r-- | home/config/dotfiles/venv-manager.nix | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/home/config/dotfiles/venv-manager.nix b/home/config/dotfiles/venv-manager.nix index 3bca7bd..377fb88 100644 --- a/home/config/dotfiles/venv-manager.nix +++ b/home/config/dotfiles/venv-manager.nix @@ -12,4 +12,14 @@ nix.enable = lib.mkDefault true; ocaml.tuareg.enable = lib.mkDefault true; + + why3 = { + defaultEditor = "emacsclient -c"; + extraConfig = '' + [prover] + editor = "" + name = "Coq" + version = "8.13.2" + ''; + }; } |