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-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
wball pushed to main at wball/dotfiles 2025-03-05 12:19:16 -08:00
64eb5c7768 swayimg
wball pushed to main at wball/dotfiles 2025-03-05 09:14:31 -08:00
8a81d27f68 use fuzzel for pinentry
wball pushed to main at wball/dotfiles 2025-03-05 00:07:16 -08:00
906f18072c zsh config
wball pushed to main at wball/dotfiles 2025-03-04 22:42:21 -08:00
e8bc2be255 cleaning up; rewrote README
1924c069f0 fixed emacs dir
Compare 2 commits »
wball pushed to main at wball/dotfiles 2025-03-01 21:40:20 -08:00
605dba167e sign tags too
wball pushed to main at wball/dotfiles 2025-03-01 21:26:54 -08:00
4da1046a66 remove breeze gtk
wball pushed to main at wball/dotfiles 2025-03-01 21:22:03 -08:00
e9635762a0 can refer to gpg key by email
wball pushed to main at wball/dotfiles 2025-03-01 21:00:45 -08:00
3f7e93b6ee switch to librewolf; cleaning
wball pushed to main at wball/dotfiles 2025-03-01 13:17:23 -08:00
6d4842b93a breeze gtk
wball pushed to main at wball/dotfiles 2025-03-01 13:17:06 -08:00
1e422e3976 some tweaks
wball pushed to main at wball/dotfiles 2025-02-11 19:03:35 -08:00
7075dad396 switch back to foot
856382b4e4 neotree
14a30c4cb0 iosevkaterm
Compare 3 commits »
wball pushed to main at wball/dotfiles 2025-02-06 20:53:13 -08:00
6d8f842798 misc changes
6d72d48383 small neovim config updates
40c4a311c4 new "caffeine" script
1bd85672d4 wob
0aad7e4c50 migrated to waybar for river
Compare 5 commits »
wball pushed to products at wball/perga 2025-01-26 13:31:47 -08:00
82b2077d4a working on adding full sigma types