From b3db5bd32bb1767350b68cbc53412331f3608250 Mon Sep 17 00:00:00 2001
From: Emmanuel Agullo <emmanuel.agullo@inria.fr>
Date: Fri, 20 Oct 2023 10:59:43 +0200
Subject: [PATCH] Add rmsbolt (godbolt-like compiler-explorer)

---
 bedrock-full.el | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/bedrock-full.el b/bedrock-full.el
index d9d06ea..149c6b0 100644
--- a/bedrock-full.el
+++ b/bedrock-full.el
@@ -18,12 +18,18 @@
   ;; (add-to-list 'major-mode-remap-alist '(julia-mode . julia-ts-mode))
   (add-to-list 'major-mode-remap-alist '  (python-mode . python-ts-mode)))
 
+;; https://github.com/emacsmirror/rmsbolt
+(use-package rmsbolt
+  :bind (:map toggle-bedrock-map
+	      ("r" . rmsbolt-mode)))
+
 ;; We use https://github.com/purcell/envrc rather than
 ;; https://github.com/wbolster/emacs-direnv to set environment
 ;; variables buffer-locally.
 (use-package envrc
   :bind (:map envrc-mode-map
 	      ("C-c e" . envrc-command-map))
+  :config (which-key-add-key-based-replacements "C-c e" "envrc")
   :init (envrc-global-mode))
 
 (provide 'bedrock-full)
-- 
GitLab