Vim: install coquille

files/.config/i3/bin/toggle-touchpad

@@ -0,0 +1,20 @@
+#!/bin/bash
+
+synclient=/usr/bin/synclient
+prop='TouchpadOff'
+
+if ! [ -x "$synclient" ]; then
+    exit 2
+fi
+
+state=$(${synclient} -l \
+    | grep "^    ${prop}" \
+    | sed 's/^.*= \([01]\)$/\1/g' \
+    | head -n 1)
+
+if [ -z "$state" ] || $(echo "$state" | grep -vq '^[01]$') ; then
+    exit 1
+fi
+
+nState=$((($state + 1) % 2))
+$synclient "$prop=$nState"

files/.config/i3/config

@@ -38,6 +38,9 @@ bindsym $mod+z exec ~/.config/i3/bin/i3lock
 # kill focused window
 bindsym $mod+Shift+q kill
 
+# Toggle touchpad
+bindsym $mod+t exec ~/.config/i3/bin/toggle-touchpad
+
 ## Specific applications
 # start dmenu (a program launcher)
 bindsym $mod+d exec dmenu_run

files/.vim/ftplugin/coq.vim

@@ -0,0 +1,5 @@
+nnoremap L <Esc>:CoqNext<CR>
+nnoremap H <Esc>:CoqUndo<CR>
+nnoremap <LocalLeader>c <Esc>:CoqToCursor<CR>
+nnoremap <LocalLeader>k <Esc>:CoqKill<CR>
+nnoremap <LocalLeader>l <Esc>:CoqLaunch<CR>

files/.vimrc

@@ -1,5 +1,5 @@
-syntax on
 filetype plugin on
+syntax on
 set colorcolumn=80
 set background=dark
 set number
@@ -68,6 +68,9 @@ Plugin 'vim-airline/vim-airline-themes'
 Plugin 'vim-scripts/a.vim'
 Plugin 'rhysd/vim-clang-format'
 Plugin 'christoomey/vim-tmux-navigator'
+Plugin 'chrisbra/csv.vim'
+Plugin 'let-def/vimbufsync'
+Plugin 'the-lambda-church/coquille'
 
 call vundle#end()            " required
 filetype plugin indent on    " required