|
|
93d8144c50
|
idris tooling
|
2023-11-11 22:18:59 +01:00 |
|
|
|
17212228f8
|
move sax2 into seperate file
|
2023-11-11 22:18:40 +01:00 |
|
|
|
10130114cd
|
clean some packages and add ttyper
|
2023-11-11 00:04:53 +01:00 |
|
|
|
15258be96f
|
typst
|
2023-11-10 14:44:02 +01:00 |
|
|
|
6fd02373e5
|
big math
|
2023-11-06 16:15:34 +01:00 |
|
|
|
9ce15b7fae
|
more calculators
|
2023-11-06 16:11:24 +01:00 |
|
|
|
53060541d5
|
fix caret on fox layout
|
2023-11-06 16:10:56 +01:00 |
|
|
|
3b09828517
|
fox cope for ansi keyboards
|
2023-11-05 16:22:54 +01:00 |
|
|
|
b6c39a01a3
|
vim ergonomics
|
2023-11-05 10:36:06 +01:00 |
|
|
|
1262b1df2b
|
rebind agda mode prefix
|
2023-11-04 10:58:55 +01:00 |
|
|
|
fef6cbb1ef
|
ctrl:nocaps
|
2023-11-02 13:00:22 +01:00 |
|
|
|
3df03e9835
|
console xkb config
|
2023-11-02 13:00:03 +01:00 |
|
|
|
aa3e35c1ed
|
new router just dropped
|
2023-10-28 11:17:19 +02:00 |
|
|
|
6766b35e91
|
xkb config in console
|
2023-10-28 11:16:44 +02:00 |
|
|
|
c6f1988ae1
|
normal modifiers in fox layout
|
2023-10-27 23:46:02 +02:00 |
|
|
|
78a50f078d
|
give in to xenias demands
|
2023-10-27 23:32:43 +02:00 |
|
|
|
0e499fbd4d
|
add layout
|
2023-10-27 21:55:30 +02:00 |
|
|
|
1378da5cab
|
zulip
|
2023-10-24 20:06:09 +02:00 |
|
|
|
62470e7c3e
|
switch default layout
|
2023-10-19 21:12:07 +02:00 |
|
|
|
a9aa84b9d1
|
add voidkeys
|
2023-10-19 13:32:35 +02:00 |
|
|
|
2364ec5a90
|
remove alt caps toggle
|
2023-10-19 01:02:32 +02:00 |
|
|
|
df695d7188
|
fix tabs
|
2023-10-19 01:01:46 +02:00 |
|
|
|
1b3880eb6a
|
add fox layout
|
2023-10-19 00:59:41 +02:00 |
|
|
|
707e3a3738
|
add swedish us layout
|
2023-10-18 23:26:21 +02:00 |
|
|
|
9438e80797
|
fix ssh
|
2023-10-18 23:25:59 +02:00 |
|
|
|
c71ab8ea85
|
openssh
|
2023-10-18 18:56:29 +02:00 |
|
|
|
30ab66549f
|
lsp fixes
|
2023-10-18 18:55:59 +02:00 |
|
|
|
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 |
|
