chiark / gitweb /
dot/putty-defaults: Express the font name in a more modern way.
[profile] / dot / zprofile
CommitLineData
a797cf50
MW
1### -*-sh-*-
2###
3### Zsh startup things.
4
5## Do the common shell profile things.
6. "$HOME/.profile"
7
8###----- That's all, folks --------------------------------------------------