File: //usr/local/rvm/src/rvm/scripts/functions/detect/system_version/codename
#!/usr/bin/env bash
__rvm_detect_debian_major_version_from_codename()
{
case $_system_version in
buster*) _system_version="10";;
stretch*) _system_version="9";;
jessie*) _system_version="8";;
wheezy*) _system_version="7";;
squeeze*) _system_version="6";;
lenny*) _system_version="5";;
etch*) _system_version="4";;
sarge*) _system_version="3";;
woody*) _system_version="3";;
potato*) _system_version="2";;
slink*) _system_version="2";;
hamm*) _system_version="2";;
esac
}