direnv,vim: add 'add_extra_vimrc'

.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
+}

.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