Skip to content

Commit f66d815

Browse files
author
Adit Sheth
committed
Fixed the document bug for linux-ubuntu.md file.
1 parent 5e6d77b commit f66d815

File tree

1 file changed

+5
-2
lines changed

1 file changed

+5
-2
lines changed

docs/core/install/linux-ubuntu.md

Lines changed: 5 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -208,8 +208,11 @@ rm packages-microsoft-prod.deb
208208
sudo apt update
209209
```
210210

211-
> [!TIP]
212-
> The previous script was written for Ubuntu and it might not work if you're using a derived distribution, such as Linux Mint. It's likely that the `$repo_version` variable won't be assigned the correct value, making the URI for the `wget` command invalid. This variable maps to the specific Ubuntu version you want to get packages for, such as 22.04 or 23.10.
211+
> [!TIP]
212+
> The previous script was written for Ubuntu and might not work if you're using a derived distribution, such as Linux Mint. It's likely that the `$ID` and `$VERSION_ID` variables won't be assigned the correct values, making the URI for the `wget` command invalid. The `$ID` corresponds to the distribution (e.g., `ubuntu`), while `$VERSION_ID` maps to the specific version of Ubuntu you want to get packages for, such as 22.04 or 23.10.
213+
>
214+
> For example, on Ubuntu 22.04, `$ID` would be `ubuntu`, and `$VERSION_ID` would be `22.04`, so the resulting URL would look like:
215+
> `https://packages.microsoft.com/config/ubuntu/22.04/packages-microsoft-prod.deb`.
213216
>
214217
> You can use a web browser and navigate to <https://packages.microsoft.com/config/ubuntu/> to see which versions of Ubuntu are available to use as the `$repo_version` value.
215218

0 commit comments

Comments
 (0)