Add note for derived Linux distros (Linux Mint) in package manager troubleshooting#53201
Add note for derived Linux distros (Linux Mint) in package manager troubleshooting#53201
Conversation
…nager troubleshooting docs Agent-Logs-Url: https://github.com/dotnet/docs/sessions/0a3ddf52-da31-4a7d-a228-defb92246273 Co-authored-by: adegeo <67293991+adegeo@users.noreply.github.com>
There was a problem hiding this comment.
Pull request overview
Adds troubleshooting guidance for Debian/Ubuntu-derived Linux distributions (for example, Linux Mint) whose /etc/os-release values don’t map to a packages.microsoft.com/config/$ID/$VERSION_ID/ directory, which can lead to 404s when running the install commands.
Changes:
- Adds a NOTE callout explaining why
$ID/$VERSION_IDmight not work on derived distros and what to do instead. - Mirrors the same NOTE in both the “new” and “classic” troubleshooting includes for consistency.
Reviewed changes
Copilot reviewed 2 out of 2 changed files in this pull request and generated 2 comments.
| File | Description |
|---|---|
| docs/core/install/includes/package-manager-failed-to-find-deb-new.md | Adds a NOTE about derived distro /etc/os-release IDs causing packages.microsoft.com 404s and suggests using base distro values. |
| docs/core/install/includes/package-manager-failed-to-find-deb-classic.md | Adds the same NOTE for parity with the “new” include. |
| > [!NOTE] | ||
| > If you're using a derived distribution, such as Linux Mint, the `$ID` and `$VERSION_ID` variables from `/etc/os-release` might not match any directory on the Microsoft packages server, causing a 404 error. To resolve the error, check which Ubuntu or Debian version your distribution is based on and use those values instead. For example, Linux Mint 22 is based on Ubuntu 24.04, so use `ubuntu` for `$ID` and `24.04` for `$VERSION_ID`. |
There was a problem hiding this comment.
The note tells readers to “use those values instead,” but it doesn’t say where/how to apply the substitution (for example, overriding ID/VERSION_ID after source /etc/os-release, or substituting in the wget https://packages.microsoft.com/config/$ID/$VERSION_ID/prod.list URL). Consider making the action explicit and referencing packages.microsoft.com directly instead of the vague “Microsoft packages server.”
| > [!NOTE] | ||
| > If you're using a derived distribution, such as Linux Mint, the `$ID` and `$VERSION_ID` variables from `/etc/os-release` might not match any directory on the Microsoft packages server, causing a 404 error. To resolve the error, check which Ubuntu or Debian version your distribution is based on and use those values instead. For example, Linux Mint 22 is based on Ubuntu 24.04, so use `ubuntu` for `$ID` and `24.04` for `$VERSION_ID`. |
There was a problem hiding this comment.
The note tells readers to “use those values instead,” but it doesn’t say where/how to apply the substitution (for example, overriding ID/VERSION_ID after source /etc/os-release, or substituting in the wget https://packages.microsoft.com/config/$ID/$VERSION_ID/prod.list URL). Consider making the action explicit and referencing packages.microsoft.com directly instead of the vague “Microsoft packages server.”
Derived distributions like Linux Mint populate
/etc/os-releasewith their own$ID/$VERSION_IDvalues (e.g.,linuxmint/22.3) that don't map to any directory on the Microsoft packages server, causing 404 errors when following the troubleshooting scripts.Changes
package-manager-failed-to-find-deb-new.md— Added[!NOTE]callout after the code blockpackage-manager-failed-to-find-deb-classic.md— Same note added for parityThe note directs users to identify the underlying Ubuntu/Debian version their distro is based on and substitute those values for
$IDand$VERSION_ID. Includes a concrete example: Linux Mint 22 →ubuntu/24.04.