From 211db6850e453b43d7de55469a3bae611cad19c1 Mon Sep 17 00:00:00 2001 From: Daniel Micay Date: Sat, 30 Dec 2023 18:15:02 -0500 Subject: [PATCH] mark Linux Mint as supported for installation --- static/install/cli.html | 3 +++ static/install/web.html | 3 +++ 2 files changed, 6 insertions(+) diff --git a/static/install/cli.html b/static/install/cli.html index 9d15a9a5..9bb9119a 100644 --- a/static/install/cli.html +++ b/static/install/cli.html @@ -137,6 +137,9 @@
  • Ubuntu 22.04 LTS
  • Ubuntu 23.04
  • Ubuntu 23.10
  • +
  • Linux Mint 20 (follow Ubuntu 20.04 LTS instructions)
  • +
  • Linux Mint 21 (follow Ubuntu 22.04 LTS instructions)
  • +
  • Linux Mint Debian Edition 6 (follow Debian 12 instructions)
  • Make sure your operating system is up-to-date before proceeding.

    diff --git a/static/install/web.html b/static/install/web.html index 95767155..8e79d530 100644 --- a/static/install/web.html +++ b/static/install/web.html @@ -115,6 +115,9 @@
  • Ubuntu 22.04 LTS
  • Ubuntu 23.04
  • Ubuntu 23.10
  • +
  • Linux Mint 20 (follow Ubuntu 20.04 LTS instructions)
  • +
  • Linux Mint 21 (follow Ubuntu 22.04 LTS instructions)
  • +
  • Linux Mint Debian Edition 6 (follow Debian 12 instructions)
  • ChromeOS
  • GrapheneOS
  • Google Android (stock Pixel OS) and other certified Android variants