Ubuntu / VS Code

Stream: general

[Antoine Chambert-Loir]

It seems VS Code will no longer work on Ubuntu because of its dependency to glibc 2.28. Not that I am personally impacted (maybe for my Lean classes, I'll have to check), and a lot of people here might be.

https://www.omgubuntu.co.uk/2024/02/vscode-drops-ubuntu-18-04-support-leaves-devs-screwed

[Newell Jensen]

Why not just upgrade? Ubuntu 18.04 is almost 6 years ago.

[Mario Carneiro]

note that 18.04 already EOL for regular users as of May 2023, the latest LTS is 22.04 and the latest regular version is 23.10

[Antoine Chambert-Loir]

Oh, thanks, I understand the point better now. (Although Canonical will support Ubuntu 18.04 up to 2028, that won't be very useful to people who need to use VS Code.)

[Newell Jensen]

Since then there have already been two LTS releases (20.04 and 22.04), with one coming up in 24.04 as well.

[Kevin Buzzard]

Oh lol is that what the numbers mean?? I thought they were just version numbers :bulb:

[Newell Jensen]

Yeap. https://ubuntu.com/about/release-cycle

[Shreyas Srinivas]

Kevin Buzzard said:

Oh lol is that what the numbers mean?? I thought they were just version numbers :bulb:

They are version numbers of a sort. But they have a more regular schedule of release. Typically there are two releases every year, one in April and one around October. Every fourth release (16.04, 18.04, 20.04, and 22.04) is usually a long term support release (in the sense of providing package updates and security updates for five years). The others are more fast moving releases, which get maintenance for a shorter period of time.

[Shreyas Srinivas]

Unless you want to be on the bleeding edge, long term support releases are usually a safer bet, although I have had package compatibility issues for externally provided packages around the 3 year mark (for example my Linux texlive is stuck in 2021).

[Mario Carneiro]

aka https://calver.org/

[Shreyas Srinivas]

Antoine Chambert-Loir said:

Oh, thanks, I understand the point better now. (Although Canonical will support Ubuntu 18.04 up to 2028, that won't be very useful to people who need to use VS Code.)

Vscode will still work. There will be a version in Ubuntu's package repositories and you will still be able to install it using apt. It will just be version 1.85. You can still run lean on it as long as the extension supports this version of vscode.

[Marc Huisinga]

vscode-lean4 is currently compatible with VS Code 1.75 and upwards.