diff zshrc-linux-gnu @ 42:fa52868da3d4

add detection for CentOS
author Dirk Olmes <dirk@xanthippe.ping.de>
date Tue, 04 Mar 2014 08:54:43 +0100
parents 2cd74a85976a
children 2cc8820caae0
line wrap: on
line diff
--- a/zshrc-linux-gnu	Mon Dec 16 08:57:34 2013 +0100
+++ b/zshrc-linux-gnu	Tue Mar 04 08:54:43 2014 +0100
@@ -14,6 +14,8 @@
 local linux_distro="unknown"
 if [ -d /usr/portage ]; then
     linux_distro="gentoo"
+elif [ -f /etc/centos-release ]; then
+    linux_distro="centos"
 fi
 
 # now source the distro zshrc file if it exists