Commit Graph

200 Commits

Author SHA1 Message Date
e54fe9162c direnv 2023-10-16 23:09:51 +02:00
387b531fbb remove emacs 2023-10-15 21:54:21 +02:00
485a6fcd5f update lockfile 2023-10-15 21:52:21 +02:00
a5102c92d0 add magma-nvim 2023-10-15 21:46:06 +02:00
2f409272b4 only show diagnostics on save 2023-10-15 21:45:49 +02:00
3cd018123f configure haskell lsp and agda input 2023-10-15 13:10:57 +02:00
4f65cde626 add agda as flake 2023-10-12 23:24:36 +02:00
4a734f2eaf fix binds due to weird terminal behaviour 2023-10-10 21:58:28 +02:00
b6adbfa3e9 neovim: emacs agda mode bindings 2023-10-10 21:12:48 +02:00
23c299b0e2 only one bufferline per nvim instance 2023-10-09 12:09:40 +02:00
f528d9ac82 neovim cornelis bindings 2023-10-07 14:12:43 +02:00
653f04136b lesbian colos in tmux 2023-10-07 14:12:31 +02:00
9a3b9f3946 fix comment neovim plugin not being set up 2023-10-06 22:16:17 +02:00
910d579100 hyfetch 2023-10-06 12:01:45 +02:00
f6f49c964d cornelis for agda mode in neovim 2023-10-06 12:01:35 +02:00
3086fef55a specify colors for tmux and alacritty 2023-10-06 10:45:30 +02:00
988781de9c add rust mode emacs 2023-10-06 01:15:08 +02:00
216e662dbd add alternative config to try to get clean of emacs 2023-10-06 01:14:52 +02:00
99232cfe9f remove julia2nix 2023-10-06 01:12:55 +02:00
bee806ee9b texlive 2023-09-25 12:10:43 +02:00
6cc6bd37cc julia2nix 2023-09-12 21:36:52 +02:00
c481b0e9ba add steam support to computational 2023-09-03 13:55:21 +02:00
f5aa6d4c99 lambda: add permission for user to set niceness to any value 2023-09-03 10:22:13 +02:00
5065b89d40 manage rofi with home-manager 2023-09-01 15:21:58 +02:00
5817aafd3b updated nixpkgs version 2023-09-01 10:45:09 +02:00
1c5968d5d1 trying not using TLP 2023-08-31 20:17:59 +02:00
16ea6ddc30 enable steam in attempt to make steam input work 2023-08-28 01:19:50 +02:00
99d3ed0dbf gamemode run on computational 2023-08-27 21:07:00 +02:00
3830295fa8 enable gamemode on lambda 2023-08-27 20:26:14 +02:00
51c639fdac mpv gpu accel 2023-08-25 14:40:49 +02:00
ba32f1281c extra gpu drivers 2023-08-25 14:10:48 +02:00
f5e3808b4a add lutris to user packages 2023-08-19 22:19:49 +02:00
ce36020aa7 add en_US locale 2023-08-19 21:24:04 +02:00
51f30e487c added desktop (computational) 2023-08-19 16:58:57 +02:00
fa0c922fd8 remove evil-leader 2023-08-15 10:15:20 +02:00
a50d98b67f remove bad packages 2023-08-15 10:06:47 +02:00
62d6c679ca I undid undo tree 2023-08-13 11:38:52 +02:00
934d357f21 add rmapi to home packages 2023-08-13 10:57:39 +02:00
52c93e5118 fix nix dev prompt whitespace 2023-08-13 10:57:20 +02:00
d113683bdf add nix-develop prompt 2023-08-02 17:49:41 +02:00
34e5a3d281 remove nix-shell prompt behaviour since it does not function with nix shell 2023-08-02 16:56:52 +02:00
f810146d4d fix theme for non-fixed resolutions 2023-08-01 15:37:59 +02:00
1fcc265a38 fix handling of theme to be sensible 2023-08-01 15:37:40 +02:00
4adff4833c enable gpg agent 2023-07-31 15:20:06 +02:00
d52e00bc15 update readme to mention the shared folder 2023-07-31 15:00:19 +02:00
9a0d854b64 add grub theme to config 2023-07-31 14:40:59 +02:00
20dfde5bd0 remove rec from flake 2023-07-31 14:27:24 +02:00
8cda368897 change to flake based config 2023-07-31 14:18:50 +02:00
a123f87b22 switch to flake based config 2023-07-31 14:18:24 +02:00
3e366daa1f initial commit 2023-07-25 11:40:35 +02:00