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

@@ -1,20 +0,0 @@
-#!/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,9 +38,6 @@ 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

@@ -1,5 +0,0 @@
-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 @@
-filetype plugin on
 syntax on
+filetype plugin on
 set colorcolumn=80
 set background=dark
 set number
@@ -68,9 +68,6 @@ 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