simple zsh utilities for managing python environments
created at Sept. 20, 2023, 3:33 p.m.
ZSH plugin for fast signed tagging of releases in git
created at May 14, 2020, 3:48 p.m.
A personalized ZSH prompt theme
created at Aug. 16, 2013, 11:09 a.m.
zsh plugin to git switch branch by lotabout/skim
created at March 16, 2024, 2:07 a.m.