From e5b4c4615336c7efcf4fa28161f04fc3e1680b95 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Dani=C3=ABl=20Franke?= Date: Mon, 24 Oct 2011 15:22:10 +0200 Subject: [PATCH] Fixed a typo and added my name. --- themes/ainmosni.zsh-theme | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/themes/ainmosni.zsh-theme b/themes/ainmosni.zsh-theme index 066e56915..428ecef03 100644 --- a/themes/ainmosni.zsh-theme +++ b/themes/ainmosni.zsh-theme @@ -1,9 +1,10 @@ # Theme with colour changing user and hostname. +# by Daniƫl Franke # # Handy if you work on different servers all the time and want a different # colourscheme when you're root and when you're on certain hosts. # -# You can put this in your .zshrc to set yourhostname red: +# You can put this in your .zshrc to set your hostname red: # PRODUCTION_RE='^prod-' # And for yellow: # STAGING_RE='^staging-'