dotfiles

My ~/.config directory

Commits at a084d947d3bbde73fbf57da016f711d57febdf65

  1. a084d947 Revert "Don't set default git branch name" This reverts commit 8522c50e46f02f0f379c7801fecb5f88841a095b. My original motivation was because cgit has poor support if your default branch is not master but I switched away from cgit recently so it doesn't matter. Besides Git 3.0 will use main by default anyways. Anthony Wang authored at Anthony Wang comitted at
  2. d7c03d01 Configure rust-analyzer for VSCodium Anthony Wang authored at Anthony Wang comitted at
  3. b0fd42b8 Add termux-ssh-config Anthony Wang authored at Anthony Wang comitted at
  4. 88232dc6 Make Rocq more like Lean Anthony Wang authored at Anthony Wang comitted at
  5. c4e87c06 Use fcitx5 instead of XCompose for typing Lean special chars Anthony Wang authored at Anthony Wang comitted at
  6. 8d219bd4 Alphabetize VSCodium settings.json Anthony Wang authored at Anthony Wang comitted at
  7. ef7b5fc9 "The colors in this example are not meant to be nice" Anthony Wang authored at Anthony Wang comitted at
  8. a3cf8081 Update autogenerated X11/xcompose Anthony Wang authored at Anthony Wang comitted at
  9. a79ff373 Better semantic highlighting in VSCodium for Lean Anthony Wang authored at Anthony Wang comitted at
  10. df59e4ef Use new XDG_PROJECTS_DIR instead of ~/Code Anthony Wang authored at Anthony Wang comitted at
  11. a6a06310 Track plasma-localerc The locale settings page on NixOS KDE is broken so I have to edit this file anyways. Most KDE config files are full of junk and not useful to track but generally speaking tracking more config files is probably a good idea (as opposed to nixifying which is kinda a waste of time). Anthony Wang authored at Anthony Wang comitted at
  12. aa23042e Delete useless btrdiff.fish It's a historical relic from back when the exozyme server still existed, but even if I ever still need to run that command, it's probably faster to just use btrbk diff directly instead of remembering how to use this convenience function Anthony Wang authored at Anthony Wang comitted at
  13. bc7aaa9f Also check if $DISPLAY set for t.fish Anthony Wang authored at Anthony Wang comitted at
  14. 0dd5bd80 Make t a wrapper script, rename ccp to c I removed my git abbrs a few weeks ago so that freed up some letters Anthony Wang authored at Anthony Wang comitted at
  15. 1adb0403 Revert "Who needs cargo when you have lake!" This reverts commit c18699f50d403e259b243b149328a16f23a371b2. Anthony Wang authored at Anthony Wang comitted at
  16. 8eaedfca Update xcompose sequences using script Anthony Wang authored at Anthony Wang comitted at
  17. 3c463042 Format init.sage with ruff Wow ruff works on Sage code too? Anthony Wang authored at Anthony Wang comitted at
  18. 883acf31 Add lazygit config Anthony Wang authored at Anthony Wang comitted at
  19. 6d5f544f Use lazygit since gitui is buggy Anthony Wang authored at Anthony Wang comitted at
  20. 0cf01507 Try gitui instead of hardcoding a bunch of git abbrs Anthony Wang authored at Anthony Wang comitted at
  21. c0ec2b98 More docs for my cursed Termux setup Anthony Wang authored at Anthony Wang comitted at
  22. 61069bd2 Use runit for Termux ssh-agent instead of starting it in the shell This is much less janky yay Anthony Wang authored at Anthony Wang comitted at
  23. 5394769e Sage is fine with false but False is more common (and what Python normally uses) Anthony Wang authored at Anthony Wang comitted at
  24. 7c1eea47 Tame the formatter in VSCodium Anthony Wang authored at Anthony Wang comitted at
  25. f50d5222 Oh so fish_variables is mostly empty in Fish 4.3 now let's add it why not Anthony Wang authored at Anthony Wang comitted at
  26. 9d93435a Turn mpv visualizer off by default Anthony Wang authored at Anthony Wang comitted at
  27. 7c99edd7 Enable __fish_git_prompt_show_informative_status Anthony Wang authored at Anthony Wang comitted at
  28. 342d7aa1 More doc comments Most of my dotfile docs are actually in commit messages which seems pretty bad and less discoverable Anthony Wang authored at Anthony Wang comitted at
  29. e6b80604 Fish tab completion for cl Anthony Wang authored at Anthony Wang comitted at
  30. e317d24b For fast git clone, do pull on the background Anthony Wang authored at Anthony Wang comitted at