I did an upgrade of Ubuntu on WSL from 18.10 to 19.04 with
$ 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?