hellerve/dotfiles
1
0 Fork 0
Code Issues Pull Requests Releases Wiki Activity
227 Commits 1 Branch 0 Tags
06c9c8657968279414cf94bb6008265ecafee346
Commit Graph
29 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
hellerve 06c9c86579 sbcli: prettier formatting 2018-10-04 15:29:48 +02:00
hellerve 4d8cd3292a vimrc: remove extempore; zshrc: better clipboard clearing mechanism 2018-09-25 15:36:26 +02:00
hellerve 998e06f253 sbclirc: fix and add 2018-08-16 17:08:39 +02:00
hellerve a8b542516a remove zepsrc 2018-08-16 14:41:24 +02:00
hellerve 275fe1831a bash: remove unmaintained bash profile 2018-08-09 10:35:54 +02:00
hellerve 5e9fc734e5 zshrc: remove carp out directory when saving dotfiles 2018-08-09 10:34:29 +02:00
hellerve de054b27af gitconfig: add br alias to branch; prompt: remove cabal sandbox 2018-08-09 10:32:30 +02:00
hellerve c3cfef62ff git: add cl alias 2018-08-06 15:03:39 +02:00
hellerve 213ddb46f5 remove pip-upgrade and upgrade gcc 2018-08-06 11:07:15 +02:00
hellerve 6ca239008d all: add carp 2018-07-23 16:21:47 +02:00
hellerve 974498fbbe vim: be silent when python3 2018-07-23 11:48:43 +02:00
hellerve 4d38d66471 all: remove ghci and bash; vimrc: add extempore 2018-07-18 12:41:11 +02:00
hellerve 344df12e56 cloc: add arc 2018-05-25 10:52:52 +02:00
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