From 1a4ad01928ae316466f166c61060f57a39031b54 Mon Sep 17 00:00:00 2001
From: Quentin Aristote <quentin@aristote.fr>
Date: Sat, 11 Dec 2021 09:51:17 +0100
Subject: set default editor in why3

---
 home/config/dotfiles/venv-manager.nix | 10 ++++++++++
 1 file changed, 10 insertions(+)

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"
+    '';
+  };
 }
-- 
cgit v1.2.3