|
|
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 |
|
