summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2021-12-12rofi : enable filebrowserQuentin Aristote
2021-12-11also garbage collect every old generationQuentin Aristote
2021-12-11enable pinning of shell derivationsQuentin Aristote
2021-12-11move link to why3 lib in why3 spacemacs layerQuentin Aristote
2021-12-11set default editor in why3Quentin Aristote
2021-12-07add videoconferencing profile to launcher and refactor codeQuentin Aristote
2021-12-07load emacs mode for why3 in ~/.emacs.dQuentin Aristote
2021-12-07spacemacs : add why3 layerQuentin Aristote
2021-12-06change root of venv-managerQuentin Aristote
2021-12-06debug mkenv aliasQuentin Aristote
2021-12-04debug mkenv aliasQuentin Aristote
2021-12-04debug mkenv aliasQuentin Aristote
2021-12-03move the source of venv-manager to the ./config dirQuentin Aristote
2021-12-03factorize path to home-manager configQuentin Aristote
2021-11-29update rofi config to 1.7.0Quentin Aristote
2021-11-27have gpg-agent manage ssh keysQuentin Aristote
2021-11-27update firefox addonsQuentin Aristote
2021-11-27add keyboard shortcut for checking branches in magit-modeQuentin Aristote
2021-11-21add rust layer to spacemacsQuentin Aristote
2021-11-11replace csv package with parse-csvQuentin Aristote
2021-11-09map SPC f e D to ediff this file instead of trying to ediff the link created ...Quentin Aristote
2021-11-09remove shell.nixQuentin Aristote
2021-11-09update packagesQuentin Aristote
2021-11-09correct volume displayQuentin Aristote
2021-11-09ignore shell.nix files by defaultQuentin Aristote
2021-11-09add extensions to clean_extQuentin Aristote
2021-10-02remove busybox as it is included in coreutilsQuentin Aristote
2021-10-02collect garbage daily but only for files older than 30 daysQuentin Aristote
2021-10-02add lib to argsQuentin Aristote
2021-09-20factorise path to code/nixQuentin Aristote
2021-09-20use lib.optional* functionsQuentin Aristote
2021-09-20use xidlehook instead of xautolockQuentin Aristote
2021-09-20update addonsQuentin Aristote
2021-09-20add keybinding to restart emacsQuentin Aristote
2021-09-20change path to configQuentin Aristote
2021-09-20add coreutilsQuentin Aristote
2021-09-20add latexQuentin Aristote
2021-09-20add coqQuentin Aristote
2021-09-20correct typoQuentin Aristote
2021-09-20add .latexmkrcQuentin Aristote
2021-08-30add request-deferred additional packageQuentin Aristote
2021-08-30auto garbage collectQuentin Aristote
2021-08-20add spacemacs-misc layer to spacemacsQuentin Aristote
2021-08-20add spacemacs' default font to envQuentin Aristote
2021-08-20remove pdf tools from env (declared in shells instead)Quentin Aristote
2021-08-20add add-custom-search-engine firefox addonQuentin Aristote
2021-08-20ignore files created by direnv in gitQuentin Aristote
2021-08-08add gpg-agentQuentin Aristote
2021-08-08remove aristote.fr pointers to vmQuentin Aristote
2021-08-07correct ssh aliasQuentin Aristote