16 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
hellerve	2507d9ae77	zsh: remove cardinal from saved dotfiles	2018-05-02 13:50:12 +02:00
hellerve	8d2b3dbb92	all: misc changes from the last few months	2018-05-02 13:49:10 +02:00
hellerve	b635d5de51	cardinal: remove	2018-03-24 14:31:46 +01:00
hellerve	e13aad7816	zshrc: remove unused functions	2018-03-24 14:30:32 +01:00
hellerve	6098ba11cd	ghc: remove cabal; erc: add carp checker	2018-02-28 16:20:02 +01:00
hellerve	068b802807	erc: added carp checker; vimrc: added carp checker and vim-es6	2018-02-25 18:28:31 +01:00
hellerve	f5c392b9aa	all: remove tmux; ghci: remove lambda prompt	2018-02-06 12:13:37 +01:00
hellerve	e98c23471b	no bold	2018-01-23 14:34:39 +01:00
hellerve	5d794a9235	remove opam from path for now	2018-01-10 16:33:32 +01:00
hellerve	cc01d53667	zsh: fixed a few aliases	2018-01-10 13:04:43 +01:00
hellerve	1bffa2af83	new setup	2017-12-20 17:18:58 +01:00
hellerve	adeafb708f	added erc	2017-07-18 23:24:28 -04:00
hellerve	d9855ec29d	set EDITOR var and removed racket from special cloc	2017-03-25 11:38:09 +01:00
hellerve	5f1018a71a	added sbcli	2017-03-08 21:39:11 +01:00
hellerve	8e76cca6bd	more mnemonics, make private email default	2017-02-22 10:51:49 +01:00
hellerve	76d3bd312c	change my identity	2017-01-19 20:29:57 +01:00