|
|
cb9ccbbf96
|
minor updates to emacs config
|
2025-03-23 10:49:48 -07:00 |
|
|
|
1324b23f0d
|
opam and pack config
|
2025-03-17 23:25:00 -07:00 |
|
|
|
c53699b0aa
|
lots of tweaks for lean/coq stuff
|
2025-03-17 23:24:41 -07:00 |
|
|
|
3940535543
|
slightly tweak coq config
|
2025-03-17 23:23:47 -07:00 |
|
|
|
a3cc6c5675
|
got millet working!
|
2025-03-17 23:23:31 -07:00 |
|
|
|
aac3cd9064
|
switched back to thunderbird
|
2025-03-07 18:51:24 -08:00 |
|
|
|
9c9c88b8e9
|
add zoxide
|
2025-03-07 18:51:11 -08:00 |
|
|
|
3f0a29ab47
|
switched to betterbird
|
2025-03-06 23:50:45 -08:00 |
|
|
|
64eb5c7768
|
swayimg
|
2025-03-05 12:18:11 -08:00 |
|
|
|
8a81d27f68
|
use fuzzel for pinentry
|
2025-03-05 09:14:20 -08:00 |
|
|
|
906f18072c
|
zsh config
|
2025-03-05 00:06:59 -08:00 |
|
|
|
e8bc2be255
|
cleaning up; rewrote README
|
2025-03-04 22:42:07 -08:00 |
|
|
|
1924c069f0
|
fixed emacs dir
|
2025-03-04 22:31:03 -08:00 |
|
|
|
605dba167e
|
sign tags too
|
2025-03-01 21:39:55 -08:00 |
|
|
|
4da1046a66
|
remove breeze gtk
|
2025-03-01 21:26:29 -08:00 |
|
|
|
e9635762a0
|
can refer to gpg key by email
|
2025-03-01 21:21:52 -08:00 |
|
|
|
3f7e93b6ee
|
switch to librewolf; cleaning
|
2025-03-01 21:00:38 -08:00 |
|
|
|
6d4842b93a
|
breeze gtk
|
2025-03-01 13:17:09 -08:00 |
|
|
|
1e422e3976
|
some tweaks
|
2025-03-01 13:16:39 -08:00 |
|
|
|
7075dad396
|
switch back to foot
|
2025-02-11 19:03:22 -08:00 |
|
|
|
856382b4e4
|
neotree
|
2025-02-11 19:03:13 -08:00 |
|
|
|
14a30c4cb0
|
iosevkaterm
|
2025-02-11 19:03:04 -08:00 |
|
|
|
6d8f842798
|
misc changes
|
2025-02-06 20:53:05 -08:00 |
|
|
|
6d72d48383
|
small neovim config updates
|
2025-02-06 20:52:33 -08:00 |
|
|
|
40c4a311c4
|
new "caffeine" script
|
2025-02-06 20:52:14 -08:00 |
|
|
|
1bd85672d4
|
wob
|
2025-02-06 20:52:08 -08:00 |
|
|
|
0aad7e4c50
|
migrated to waybar for river
|
2025-02-06 20:51:55 -08:00 |
|
|
|
da16936d07
|
testing?
|
2025-01-12 13:17:14 -08:00 |
|
|
|
dd71aac4d8
|
got rid of neovide stuff in nvim config
|
2025-01-11 23:21:21 -08:00 |
|
|
|
046e5681c4
|
how about now?
|
2025-01-11 23:20:01 -08:00 |
|
|
|
2f9307a591
|
will this work?
|
2025-01-11 23:17:28 -08:00 |
|
|
|
2e5675298d
|
screwed up signing stuff
|
2025-01-11 23:17:06 -08:00 |
|
|
|
907c3bf717
|
minor updates to README
|
2025-01-11 23:15:56 -08:00 |
|
|
|
407a08a2a7
|
minor updates to README
|
2025-01-11 23:14:14 -08:00 |
|
|
|
dfbb1c9dff
|
added gpg key to git config
|
2025-01-11 23:14:07 -08:00 |
|
|
|
75dc6b1b9c
|
added padding to kitty
|
2025-01-11 01:01:24 -08:00 |
|
|
|
471a174ec1
|
path shenanigans
|
2025-01-10 23:23:44 -08:00 |
|
|
|
f9bcf29b7c
|
fixed zathura font
|
2025-01-10 23:23:33 -08:00 |
|
|
|
2f64687574
|
set up neovim for neovide
|
2025-01-10 23:23:23 -08:00 |
|
|
|
055afa27a0
|
updated books and papers scripts
|
2025-01-10 23:23:09 -08:00 |
|
|
|
083fbc1b4b
|
misc desktop config changes
|
2025-01-10 23:23:00 -08:00 |
|
|
|
3bb093357b
|
getting rid of gtk titlebars
|
2025-01-10 23:22:29 -08:00 |
|
|
|
b961f230a7
|
back on arch, little bit of cleaning
|
2025-01-05 19:44:10 -08:00 |
|
|
|
144a645e13
|
config.fish
|
2025-01-05 11:17:07 -08:00 |
|
|
|
ba9f64d1a3
|
fish
|
2025-01-02 08:35:01 -08:00 |
|
|
|
c5d494802e
|
some neovim config updates
|
2025-01-02 08:34:36 -08:00 |
|
|
|
a04992ea8b
|
optimized loading a bit
|
2024-10-08 21:48:08 -07:00 |
|
|
|
44625f1ccf
|
completely rewrote neovim config
|
2024-10-06 16:40:37 -07:00 |
|
|
|
48ec97775b
|
fish stuff
|
2024-10-06 16:40:04 -07:00 |
|
|
|
70fdabf007
|
metamath
|
2024-09-09 22:49:00 -07:00 |
|
