From 00b87452ed168b23c8f5461119cf082497d124cd Mon Sep 17 00:00:00 2001
From: johannst <stoelp@eit.uni-kl.de>
Date: Wed, 1 Nov 2017 16:11:21 +0100
Subject: vimrc: map leader to <Space>, and only map if it is not set already

---
 vimrc | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/vimrc b/vimrc
index 83b8932..3e5dcc7 100644
--- a/vimrc
+++ b/vimrc
@@ -4,7 +4,11 @@
 set nocompatible
 inoremap jj <Esc>
 
-let mapleader=";"
+if !exists('&mapleader')
+	"let mapleader=";"
+	" map <Space> as leader
+	let mapleader=" "
+endif
 nnoremap <leader>ev :edit ~/.vimrc<CR>
 nnoremap <leader>sv :source ~/.vimrc<CR>
 
-- 
cgit v1.2.3