}
distro-num() {
- # subshell keeps environment clean
- ( . /etc/os-release; echo ${VERSION_ID%%.*}; )
+ # Subshell keeps environment clean.
+ ( . /etc/os-release
+ # in ubuntu the .x matters, trisquel it doesnt
+ if [[ $ID == ubuntu ]]; then
+ echo $VERSION_ID
+ else
+ echo ${VERSION_ID%%.*}
+ fi
+ )
}
debian-archive() {