Add envrc support

This commit is contained in:
2025-04-20 00:07:26 +02:00
parent da1124f33c
commit 65bf702f7c
2 changed files with 9 additions and 2 deletions

View File

@@ -141,7 +141,14 @@
(global-set-key (kbd "C-d") 'mc/mark-next-like-this-symbol) (global-set-key (kbd "C-d") 'mc/mark-next-like-this-symbol)
;; ============================================================== ;; ==============================================================
;; Coq ;; Envrc
;; ==============================================================
(use-package envrc
:hook (after-init . envrc-global-mode))
;; ==============================================================
;; Magit
;; ============================================================== ;; ==============================================================
(after! magit (after! magit

View File

@@ -4,7 +4,7 @@
;; Your init file should contain only one such instance. ;; Your init file should contain only one such instance.
;; If there is more than one, they won't work right. ;; If there is more than one, they won't work right.
'(package-selected-packages '(package-selected-packages
'(catppuccin-theme obsidian olivetti org-download org-superstar vulpea))) '(catppuccin-theme envrc obsidian olivetti org-download org-superstar vulpea)))
(custom-set-faces (custom-set-faces
;; custom-set-faces was added by Custom. ;; custom-set-faces was added by Custom.
;; If you edit it by hand, you could mess it up, so be careful. ;; If you edit it by hand, you could mess it up, so be careful.