Dist=$(grep -oP '(?<=^ID=).+' /etc/os-release | tr -d '"')
DistVersion=$(grep -oP '(?<=^VERSION_CODENAME=).+' /etc/os-release | tr -d '"')

wget -qO - http://repo.mysql.com/RPM-GPG-KEY-mysql | apt-key add -
echo "deb http://repo.mysql.com/apt/"$Dist"/ "$DistVersion" mysql-8.0" >/etc/apt/sources.list.d/mysql.list