I did an upgrade of Ubuntu on WSL from 18.10 to 19.04 with do-release-upgrade
.
$ cat /etc/os-release
NAME="Ubuntu"
VERSION="19.04 (Disco Dingo)"
ID=ubuntu
ID_LIKE=debian
PRETTY_NAME="Ubuntu 19.04"
VERSION_ID="19.04"
HOME_URL="https://www.ubuntu.com/"
SUPPORT_URL="https://help.ubuntu.com/"
BUG_REPORT_URL="https://bugs.launchpad.net/ubuntu/"
PRIVACY_POLICY_URL="https://www.ubuntu.com/legal/terms-and-policies/privacy-policy"
VERSION_CODENAME=disco
UBUNTU_CODENAME=disco
But now I notice that repositories/sources.list are still pointing to cosmic.
$ grep -li cosmic /etc/apt/sources.list /etc/apt/sources.list* /etc/apt/sources.list*/*
/etc/apt/sources.list
/etc/apt/sources.list
grep: /etc/apt/sources.list.d: Is a directory
/etc/apt/sources.list.distUpgrade
/etc/apt/sources.list.save
$ grep -li disco /etc/apt/sources.list /etc/apt/sources.list* /etc/apt/sources.list*/*
grep: /etc/apt/sources.list.d: Is a directory
So I guess something must have failed during the upgrade that I didn't notice.
How can I dig out any upgrade errors and fix them?
Where can I find the sources list for 19.04?