1. Top
  2. dotfiles
  3. Commits
dotfiles

My ~/.config directory

Commits at b0fd42b82971d9ee615e411ed15e3575a6f6b12a

  1. b0fd42b8 Add termux-ssh-config Anthony Wang authored at Anthony Wang comitted at
  2. 88232dc6 Make Rocq more like Lean Anthony Wang authored at Anthony Wang comitted at
  3. c4e87c06 Use fcitx5 instead of XCompose for typing Lean special chars Anthony Wang authored at Anthony Wang comitted at
  4. 8d219bd4 Alphabetize VSCodium settings.json Anthony Wang authored at Anthony Wang comitted at
  5. ef7b5fc9 "The colors in this example are not meant to be nice" Anthony Wang authored at Anthony Wang comitted at
  6. a3cf8081 Update autogenerated X11/xcompose Anthony Wang authored at Anthony Wang comitted at
  7. a79ff373 Better semantic highlighting in VSCodium for Lean Anthony Wang authored at Anthony Wang comitted at
  8. df59e4ef Use new XDG_PROJECTS_DIR instead of ~/Code Anthony Wang authored at Anthony Wang comitted at
  9. 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
  10. 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
  11. bc7aaa9f Also check if $DISPLAY set for t.fish Anthony Wang authored at Anthony Wang comitted at
  12. 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
  13. 1adb0403 Revert "Who needs cargo when you have lake!" This reverts commit c18699f50d403e259b243b149328a16f23a371b2. Anthony Wang authored at Anthony Wang comitted at
  14. 8eaedfca Update xcompose sequences using script Anthony Wang authored at Anthony Wang comitted at
  15. 3c463042 Format init.sage with ruff Wow ruff works on Sage code too? Anthony Wang authored at Anthony Wang comitted at
  16. 883acf31 Add lazygit config Anthony Wang authored at Anthony Wang comitted at
  17. 6d5f544f Use lazygit since gitui is buggy Anthony Wang authored at Anthony Wang comitted at
  18. 0cf01507 Try gitui instead of hardcoding a bunch of git abbrs Anthony Wang authored at Anthony Wang comitted at
  19. c0ec2b98 More docs for my cursed Termux setup Anthony Wang authored at Anthony Wang comitted at
  20. 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
  21. 5394769e Sage is fine with false but False is more common (and what Python normally uses) Anthony Wang authored at Anthony Wang comitted at
  22. 7c1eea47 Tame the formatter in VSCodium Anthony Wang authored at Anthony Wang comitted at
  23. 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
  24. 9d93435a Turn mpv visualizer off by default Anthony Wang authored at Anthony Wang comitted at
  25. 7c99edd7 Enable __fish_git_prompt_show_informative_status Anthony Wang authored at Anthony Wang comitted at
  26. 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
  27. e6b80604 Fish tab completion for cl Anthony Wang authored at Anthony Wang comitted at
  28. e317d24b For fast git clone, do pull on the background Anthony Wang authored at Anthony Wang comitted at
  29. d3de23e9 Switch from tealdeer to tlrc Anthony Wang authored at Anthony Wang comitted at
  30. b11b59df Move system-related (as opposed to universal/portable) envvars to nixos-config repo Anthony Wang authored at Anthony Wang comitted at