#
# End of the custom things from my bash profile.
# There's probably a more "zsh-ish" way of doing these, but I have no time.
#
# End of the custom things from my bash profile.
# There's probably a more "zsh-ish" way of doing these, but I have no time.