feat: add Ubuntu 20.04 support

Will still need package releases, but everything should be ready for 0.21.0. Closes #3961
2020-05-06 00:36:22 -04:00
parent 5458d5b341
commit 4136f0274a
7 changed files with 7 additions and 6 deletions
--- a/docs/home.html
+++ b/docs/home.html
@@ -169,7 +169,7 @@
          <p class="line">
            <span class="path"></span>
            <span class="prompt">$</span>
-            <span class="command">echo "xenial bionic" | grep -q "$OS_ID" || OS_ID="bionic"</span>
+            <span class="command">echo "xenial bionic focal" | grep -q "$OS_ID" || OS_ID="bionic"</span>
          </p>
          <p class="line">
            <span class="path"></span>