summaryrefslogtreecommitdiff
path: root/home
AgeCommit message (Collapse)Author
2022-04-08update addonsQuentin Aristote
2022-04-08disable coqIde by default and coq loading in why3Quentin Aristote
2022-04-08add localeQuentin Aristote
2022-04-08change default font size and make reftex workQuentin Aristote
2022-02-13improve default venv-manager configQuentin Aristote
2022-02-13rename dconf packageQuentin Aristote
2022-02-06venv-manager : latex : add koma as default packageQuentin Aristote
2022-01-20firefox : update addonsQuentin Aristote
2021-12-31firefox : update tree-style-tabsQuentin Aristote
2021-12-19firefox : update to v95Quentin Aristote
2021-12-19git : ignore .nix-gc-rootsQuentin Aristote
2021-12-12rofi : enable filebrowserQuentin 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-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
by homemanager
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-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-20add spacemacs-misc layer to spacemacsQuentin Aristote
2021-08-20add spacemacs' default font to envQuentin Aristote