William Ball wball
0 followers · 0 following
  • Joined on 2024-08-04
Repositories
15
 Projects Packages Public activity Starred repositories
wball pushed to main at wball/dotfiles 2025-08-11 19:28:57 -07:00
240f6c5420 added old doom config in case I want it
wball pushed to main at wball/dotfiles 2025-08-11 19:19:12 -07:00
d68d670234 lots of tweaks to emacs config
8a1c7daa34 get rid of opam
bec4352a7e shortcuts for connecting to headphones
Compare 3 commits »
wball pushed to main at wball/dotfiles 2025-08-09 16:15:04 -07:00
0e74713103 clangd
874ddd2dca ocaml
4a4afc925d lots of tweaks
d40840e22e update README
560c13f7ed switch to niri
Compare 10 commits »
wball pushed to main at wball/dotfiles 2025-07-27 22:16:11 -07:00
06867d28d9 back to arch
wball pushed to main at wball/dotfiles 2025-07-27 17:46:16 -07:00
e419e702ce added avy
wball pushed to main at wball/fol_idris 2025-07-27 17:44:33 -07:00
09a7875f03 added test file
wball pushed to main at wball/dotfiles 2025-07-27 16:43:04 -07:00
3751fdf3da prettifying emacs a bit
ce39e84b90 back on GNOME
Compare 2 commits »
wball pushed to main at wball/dotfiles 2025-06-01 18:40:15 -07:00
7c33119a5f set cursor line
wball pushed to main at wball/dotfiles 2025-05-30 13:07:47 -07:00
c3c74e8824 playing around with layouts
5c4d03eaa1 properly handle songs w/o album art
Compare 2 commits »
wball pushed to main at wball/dotfiles 2025-05-20 23:20:35 -07:00
a08c137343 back to qwerty and background emacs daemon
5f83149733 add ignore case to BEMENU_OPTS
Compare 2 commits »
wball pushed to main at wball/dotfiles 2025-05-15 10:39:14 -07:00
e6e875dba8 added ediprolog
bdec630ca7 bunch of tweaks: switch to bemenu, dvorak, added some utilities
df7d8de4c4 and on zsh
e0aebb0a4d switched to bemenu
48ce626b47 added colorizer
Compare 6 commits »
wball pushed to main at wball/dotfiles 2025-05-12 09:27:23 -07:00
30bd97a06d Nextcloud gtk bookmark
0bff7e61ee updated straight.el bootstrap
9391bc8ba4 finally added ssh config
000339270e moving back to arch
Compare 4 commits »
wball pushed to main at wball/dotfiles 2025-05-11 19:01:42 -07:00
7d870bde5e made books and papers scripts easier to tweak
2fb9b350da ghcup and rustup
221bea9e0b make sml keybindings only apply in sml files
3593f1c153 formatting emacs config
Compare 4 commits »
wball pushed to main at wball/dotfiles 2025-04-17 10:21:53 -07:00
858c2b086e fedora's location for zsh plugins is a little different
93eef50690 ensure_installed = 'all' was maybe a bit too much
afee190bd2 switch back to adwaita
Compare 3 commits »
wball pushed to main at wball/dotfiles 2025-04-16 21:45:19 -07:00
e78d45d5bb switch $BROWSER to librewolf
e1acce94c6 clean up emacs config
Compare 2 commits »
wball pushed to main at wball/dotfiles 2025-03-31 18:27:17 -07:00
ae0374c99b got rid of cornelis
c0295c2f4c wolfram home
Compare 2 commits »
wball pushed to main at wball/dotfiles 2025-03-23 10:50:02 -07:00
cb9ccbbf96 minor updates to emacs config
wball pushed to main at wball/dotfiles 2025-03-18 13:30:22 -07:00
1324b23f0d opam and pack config
c53699b0aa lots of tweaks for lean/coq stuff
3940535543 slightly tweak coq config
a3cc6c5675 got millet working!
Compare 4 commits »
wball pushed to main at wball/dotfiles 2025-03-07 18:51:38 -08:00
aac3cd9064 switched back to thunderbird
9c9c88b8e9 add zoxide
Compare 2 commits »
wball pushed to main at wball/dotfiles 2025-03-06 23:50:59 -08:00
3f0a29ab47 switched to betterbird