|
|
fbf170990e
|
alacritty: add shell args
|
2019-06-26 13:57:16 +02:00 |
|
|
|
e1f9d8294f
|
alacritty: more options
|
2019-06-25 18:52:22 +02:00 |
|
|
|
f04eebbfda
|
alacritty: change yellow, add scrolling section
|
2019-06-25 18:26:15 +02:00 |
|
|
|
2a0f54f6bb
|
alacritty: more tweaks
|
2019-06-25 18:11:32 +02:00 |
|
|
|
e46d65a1e6
|
alacritty: rewrite
|
2019-06-25 14:55:42 +02:00 |
|
|
|
e13568ea28
|
alacritty: fix for my system
|
2019-06-23 23:25:45 +02:00 |
|
|
|
a857831bcd
|
add alacritty
|
2019-06-22 20:22:11 +02:00 |
|
|
|
d0d075691a
|
vimrc: add loc_list to syntastic; git: add coa
|
2019-06-04 11:49:12 +02:00 |
|
|
|
ad66edac68
|
vimrc: remove eta reduce hint from hlint
|
2019-05-25 20:56:13 +02:00 |
|
|
|
f607d5315c
|
gitconfig: fix git pr
|
2019-04-26 16:51:35 +02:00 |
|
|
|
7799367b58
|
sbcli: better prompt; zsh: better prompt and cowsay
|
2019-04-15 20:32:24 +02:00 |
|
|
|
c7d53d76c7
|
zsh: prettier prompt
|
2019-03-29 10:39:53 +01:00 |
|
|
|
dfbc0324ef
|
vimrc: speedify; zshrc: uninstalled homebrew emacs
|
2019-03-20 14:57:02 +01:00 |
|
|
|
1c7e0f2480
|
vim: remove crud
|
2019-03-12 13:36:38 +01:00 |
|
|
|
33b0eed38a
|
all: simplify and prettify
|
2019-03-12 12:39:47 +01:00 |
|
|
|
15bae882c9
|
vimrc: simplify (under 100ms, yay)
|
2019-01-18 09:04:45 +01:00 |
|
|
|
b460e393b2
|
zshrc: change editor yet again; gitconfig: add diff --stat alias (dfs)
|
2018-12-17 16:42:40 +01:00 |
|
|
|
54024171b1
|
all: clean up everything
|
2018-12-06 14:23:33 +01:00 |
|
|
|
c81487fa28
|
zshrc & gitconfig: use system vim
|
2018-12-04 17:30:35 +01:00 |
|
|
|
221ebbb243
|
vim: add fireplace and editorconfig, remove Cr; zsh: move carp around
|
2018-11-13 17:19:07 +01:00 |
|
|
|
7bf2883a26
|
zshrc: fix makepass length bug
|
2018-10-16 16:55:12 +02:00 |
|
|
|
1c389e4181
|
license: update
|
2018-10-04 15:33:00 +02:00 |
|
|
|
06c9c86579
|
sbcli: prettier formatting
|
2018-10-04 15:29:48 +02:00 |
|
|
|
4d8cd3292a
|
vimrc: remove extempore; zshrc: better clipboard clearing mechanism
|
2018-09-25 15:36:26 +02:00 |
|
|
|
998e06f253
|
sbclirc: fix and add
|
2018-08-16 17:08:39 +02:00 |
|
|
|
a8b542516a
|
remove zepsrc
|
2018-08-16 14:41:24 +02:00 |
|
|
|
275fe1831a
|
bash: remove unmaintained bash profile
|
2018-08-09 10:35:54 +02:00 |
|
|
|
5e9fc734e5
|
zshrc: remove carp out directory when saving dotfiles
|
2018-08-09 10:34:29 +02:00 |
|
|
|
de054b27af
|
gitconfig: add br alias to branch; prompt: remove cabal sandbox
|
2018-08-09 10:32:30 +02:00 |
|
|
|
c3cfef62ff
|
git: add cl alias
|
2018-08-06 15:03:39 +02:00 |
|
|
|
213ddb46f5
|
remove pip-upgrade and upgrade gcc
|
2018-08-06 11:07:15 +02:00 |
|
|
|
6ca239008d
|
all: add carp
|
2018-07-23 16:21:47 +02:00 |
|
|
|
974498fbbe
|
vim: be silent when python3
|
2018-07-23 11:48:43 +02:00 |
|
|
|
4d38d66471
|
all: remove ghci and bash; vimrc: add extempore
|
2018-07-18 12:41:11 +02:00 |
|
|
|
344df12e56
|
cloc: add arc
|
2018-05-25 10:52:52 +02:00 |
|
|
|
2507d9ae77
|
zsh: remove cardinal from saved dotfiles
|
2018-05-02 13:50:12 +02:00 |
|
|
|
8d2b3dbb92
|
all: misc changes from the last few months
|
2018-05-02 13:49:10 +02:00 |
|
|
|
b635d5de51
|
cardinal: remove
|
2018-03-24 14:31:46 +01:00 |
|
|
|
e13aad7816
|
zshrc: remove unused functions
|
2018-03-24 14:30:32 +01:00 |
|
|
|
6098ba11cd
|
ghc: remove cabal; erc: add carp checker
|
2018-02-28 16:20:02 +01:00 |
|
|
|
068b802807
|
erc: added carp checker; vimrc: added carp checker and vim-es6
|
2018-02-25 18:28:31 +01:00 |
|
|
|
f5c392b9aa
|
all: remove tmux; ghci: remove lambda prompt
|
2018-02-06 12:13:37 +01:00 |
|
|
|
e98c23471b
|
no bold
|
2018-01-23 14:34:39 +01:00 |
|
|
|
5d794a9235
|
remove opam from path for now
|
2018-01-10 16:33:32 +01:00 |
|
|
|
cc01d53667
|
zsh: fixed a few aliases
|
2018-01-10 13:04:43 +01:00 |
|
|
|
1bffa2af83
|
new setup
|
2017-12-20 17:18:58 +01:00 |
|
|
|
adeafb708f
|
added erc
|
2017-07-18 23:24:28 -04:00 |
|
|
|
d9855ec29d
|
set EDITOR var and removed racket from special cloc
|
2017-03-25 11:38:09 +01:00 |
|
|
|
5f1018a71a
|
added sbcli
|
2017-03-08 21:39:11 +01:00 |
|
|
|
8e76cca6bd
|
more mnemonics, make private email default
|
2017-02-22 10:51:49 +01:00 |
|
