76 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
William Ball	000339270e	moving back to arch	2025-05-12 00:02:45 -07:00
William Ball	7d870bde5e	made books and papers scripts easier to tweak	2025-05-11 18:58:28 -07:00
William Ball	2fb9b350da	ghcup and rustup	2025-05-11 18:57:59 -07:00
William Ball	221bea9e0b	make sml keybindings only apply in sml files	2025-05-11 18:57:45 -07:00
William Ball	3593f1c153	formatting emacs config	2025-05-11 18:56:51 -07:00
William Ball	858c2b086e	fedora's location for zsh plugins is a little different	2025-04-17 10:21:27 -07:00
William Ball	93eef50690	ensure_installed = 'all' was maybe a bit too much	2025-04-17 10:21:10 -07:00
William Ball	afee190bd2	switch back to adwaita	2025-04-17 10:20:44 -07:00
William Ball	e78d45d5bb	switch $BROWSER to librewolf	2025-04-16 21:45:01 -07:00
William Ball	e1acce94c6	clean up emacs config	2025-04-16 21:44:39 -07:00
William Ball	ae0374c99b	got rid of cornelis	2025-03-31 18:27:10 -07:00
William Ball	c0295c2f4c	wolfram home	2025-03-31 18:26:11 -07:00
William Ball	cb9ccbbf96	minor updates to emacs config	2025-03-23 10:49:48 -07:00
William Ball	1324b23f0d	opam and pack config	2025-03-17 23:25:00 -07:00
William Ball	c53699b0aa	lots of tweaks for lean/coq stuff	2025-03-17 23:24:41 -07:00
William Ball	3940535543	slightly tweak coq config	2025-03-17 23:23:47 -07:00
William Ball	a3cc6c5675	got millet working!	2025-03-17 23:23:31 -07:00
William Ball	aac3cd9064	switched back to thunderbird	2025-03-07 18:51:24 -08:00
William Ball	9c9c88b8e9	add zoxide	2025-03-07 18:51:11 -08:00
William Ball	3f0a29ab47	switched to betterbird	2025-03-06 23:50:45 -08:00
William Ball	64eb5c7768	swayimg	2025-03-05 12:18:11 -08:00
William Ball	8a81d27f68	use fuzzel for pinentry	2025-03-05 09:14:20 -08:00
William Ball	906f18072c	zsh config	2025-03-05 00:06:59 -08:00
William Ball	e8bc2be255	cleaning up; rewrote README	2025-03-04 22:42:07 -08:00
William Ball	1924c069f0	fixed emacs dir	2025-03-04 22:31:03 -08:00
William Ball	605dba167e	sign tags too	2025-03-01 21:39:55 -08:00
William Ball	4da1046a66	remove breeze gtk	2025-03-01 21:26:29 -08:00
William Ball	e9635762a0	can refer to gpg key by email	2025-03-01 21:21:52 -08:00
William Ball	3f7e93b6ee	switch to librewolf; cleaning	2025-03-01 21:00:38 -08:00
William Ball	6d4842b93a	breeze gtk	2025-03-01 13:17:09 -08:00
William Ball	1e422e3976	some tweaks	2025-03-01 13:16:39 -08:00
William Ball	7075dad396	switch back to foot	2025-02-11 19:03:22 -08:00
William Ball	856382b4e4	neotree	2025-02-11 19:03:13 -08:00
William Ball	14a30c4cb0	iosevkaterm	2025-02-11 19:03:04 -08:00
William Ball	6d8f842798	misc changes	2025-02-06 20:53:05 -08:00
William Ball	6d72d48383	small neovim config updates	2025-02-06 20:52:33 -08:00
William Ball	40c4a311c4	new "caffeine" script	2025-02-06 20:52:14 -08:00
William Ball	1bd85672d4	wob	2025-02-06 20:52:08 -08:00
William Ball	0aad7e4c50	migrated to waybar for river	2025-02-06 20:51:55 -08:00
William Ball	da16936d07	testing?	2025-01-12 13:17:14 -08:00
William Ball	dd71aac4d8	got rid of neovide stuff in nvim config	2025-01-11 23:21:21 -08:00
William Ball	046e5681c4	how about now?	2025-01-11 23:20:01 -08:00
William Ball	2f9307a591	will this work?	2025-01-11 23:17:28 -08:00
William Ball	2e5675298d	screwed up signing stuff	2025-01-11 23:17:06 -08:00
William Ball	907c3bf717	minor updates to README	2025-01-11 23:15:56 -08:00
William Ball	407a08a2a7	minor updates to README	2025-01-11 23:14:14 -08:00
William Ball	dfbb1c9dff	added gpg key to git config	2025-01-11 23:14:07 -08:00
William Ball	75dc6b1b9c	added padding to kitty	2025-01-11 01:01:24 -08:00
William Ball	471a174ec1	path shenanigans	2025-01-10 23:23:44 -08:00
William Ball	f9bcf29b7c	fixed zathura font	2025-01-10 23:23:33 -08:00