From b42920e007777e7103bb1a2ec719aa758277f005 Mon Sep 17 00:00:00 2001
From: surtur <a_mirre@utb.cz>
Date: Fri, 6 May 2022 22:52:07 +0200
Subject: [PATCH] direnv,vim: add 'add_extra_vimrc'

---
 .config/direnv/direnvrc | 8 ++++++++
 .vim/vimrc              | 7 +++++++
 2 files changed, 15 insertions(+)
 create mode 100644 .config/direnv/direnvrc

diff --git a/.config/direnv/direnvrc b/.config/direnv/direnvrc
new file mode 100644
index 0000000..ddc37b1
--- /dev/null
+++ b/.config/direnv/direnvrc
@@ -0,0 +1,8 @@
+# as per https://github.com/direnv/direnv/wiki/Vim
+add_extra_vimrc() {
+  local extravim="$(find_up .vimrc)"
+  if [ -n "$extravim" ]; then
+    echo "Adding extra .vimrc: ${extravim}"
+    path_add EXTRA_VIM $extravim
+  fi
+}
diff --git a/.vim/vimrc b/.vim/vimrc
index 2f6c795..063231e 100644
--- a/.vim/vimrc
+++ b/.vim/vimrc
@@ -562,3 +562,10 @@ imap a <M-A>
 
 nnoremap <Leader>ve :e $MYVIMRC<CR>
 nnoremap <Leader>vr :source $MYVIMRC<CR>
+
+" as per https://github.com/direnv/direnv/wiki/Vim
+if exists("$EXTRA_VIM")
+  for path in split($EXTRA_VIM, ':')
+    exec "source ".path
+  endfor
+endif