Closed elmeyer closed 5 months ago
Hi @elmeyer - Thanks for finding and creating a PR for this issue! It turns out, packages.microsoft.com has a configuration package that does all the necessary work. It can be found here - https://packages.microsoft.com/config/debian/12/packages-microsoft-prod.deb. The steps can then be simplified to fetching the package and installing it:
wget -q https://packages.microsoft.com/config/debian/12/packages-microsoft-prod.deb -O packages-microsoft-prod.deb sudo dpkg -i packages-microsoft-prod.deb
Thanks, that's very convenient. I've updated the PR.
This fixes the download path to be the one referenced by the repository list file.