912cd01977
Merge branch 'dev' into gentoo
...
nvim: improve luasnips
system: fix tsession for irc
add LATEX_RESOURCES variable
2021-11-20 22:02:06 +01:00
238dae78d7
[system] feat: add LATEX_RESOURCES variable
2021-11-20 16:58:00 +01:00
557c908e40
Merge branch 'dev' into gentoo
...
scripts: fix maker
zsh: add envvar
system: introduce tmux, irssi
gnupg: fix pinentry
ncmpcpp: don't display startup message
nvim: add luasnip maps
tex formatoptions
2021-11-20 16:07:14 +01:00
96f5019a94
[gnupg] fix: env variable setup
...
set the right envvar so that pinentry doesn't display ncurses to tty
2021-11-20 16:05:46 +01:00
8b1944ecdd
[zsh] feat: add necessary env variables
2021-11-20 16:05:46 +01:00
86d2612e25
Merge branch 'dev' into gentoo
...
npm: add config
nvim: change PackerSync map
add c/lua filetype settings
add autopairs plugin
update lua_lsp config
fix coq maps
2021-10-30 15:32:17 +02:00
73ac47a773
[npm] introducing npm
2021-10-30 15:28:22 +02:00
2804438e43
Merge branch 'dev' into gentoo
...
wget: put history in cache
zsh: more readable prompt
nvim:
fix python-lsp path
add maps for verilog
remove unused maps
change colorscheme
!!!BREAKING : removed Polyjuice
dmenu: use XResources to define colors
dwm: cleanup file
2021-10-22 00:10:25 +02:00
114058ab24
[zsh]feat: more readable vcs prompt
...
branch is redder
state: white -> grey
2021-10-21 23:58:31 +02:00
72b13bc4d9
Merge branch 'dev' into gentoo
...
fix: COQBIN env variable
2021-10-19 17:25:46 +02:00
9538391e5c
fix: COQBIN variable
2021-10-19 17:03:00 +02:00
64e5f011cb
Merge branch 'dev' into gentoo
...
zsh: opam configuration
nvim:
fix nvim-cmp config
improve lsp config
2021-10-12 14:02:33 +02:00
a98e149ad1
feat: make opam more XDG_USER_DIR compliant
...
$OPAMROOT contains both config and data, so it's not perfect...
still better than having it in ~/ tho !
2021-10-12 14:00:29 +02:00
4f13e34eee
Merge branch 'dev' into gentoo
...
use ncmpcpp again !
also set a $VAR for music player
2021-09-20 15:13:42 +02:00
3cbb3fde33
feat: change the keybinding for ncmpc
...
now use a generic $VAR in sxhkd
-> set MUSIC_PLAYER in .zprofile
2021-09-20 15:12:11 +02:00
b71f77f9c8
fix: zsh highlighing and history search
2021-09-08 19:21:39 +02:00
754f46f7c6
Merge branch 'dev' into gentoo
2021-09-08 13:27:23 +02:00
786862340e
feat: zsh options
...
auto-complete and space-to-ignore
2021-09-07 23:53:37 +02:00
4236c85f20
feat: introducing gentoo on ThinkPad
2021-09-07 23:50:33 +02:00
4d88409e2f
fix: cursor shape in zsh
2021-07-12 17:19:48 +02:00
b0db49ed37
feat: add relevant zsh files
2021-05-19 11:56:05 +02:00
f936b9cfed
feat: add scripts for st output management
...
also update zsh prompt
2021-03-10 23:12:23 +01:00
b2bfb330a7
fix: GPG_TTY setting moved to zsh
2021-02-12 23:03:02 +01:00
60aea94875
feat: move zsh prompt to its own file
...
also tweak it a bit
-> $ is colored depending on last command exit code
-> git infos polished
2020-10-12 10:32:25 +02:00
fd6e1d2ce3
init repo
2020-05-06 03:20:19 +02:00
David JULIEN