# Copyright (C) 2007 The Trustees of Princeton University
# Thierry Parmentelat <thierry.parmentelat@inria.fr> INRIA
#
-# supported distros f12 f14 f16 f18 f20 f21 f22
-# and debians/ubuntus to a lesser extent
+# supported distros fedoras, and debians/ubuntus to a lesser extent
+# centos's and scientific linux's have been used too quite a while ago
#
# for locating pkgs.py
export PATH=.:$PATH
distro=$DISTRIB_CODENAME
elif [ -f /etc/debian_version ] ; then
case $(cat /etc/debian_version) in
- 6.*) distro=squeeze ;;
7.*) distro=wheezy ;;
# might be that I'm getting 'jessie'sid' just because it's still testing..
8.*|jessie*) distro=jessie ;;
[Ss]L*)
releasename=sl$release
;;
- squeeze|wheezy|jessie|oneiric|precise|quantal|raring|saucy|trusty|utopic|vivid)
+ wheezy|jessie|precise|trusty|utopic|vivid|wily)
releasename=$distro
;;
*)