From 46ae58bcd90d4272b4cd1da3ecd0d6bc7a2f145b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Mislav=20Marohni=C4=87?= Date: Tue, 27 Sep 2022 19:26:48 +0200 Subject: [PATCH] Fix Ubuntu installation instructions for curl Newer Ubuntu doesn't come with curl preinstalled anymore. --- docs/install_linux.md | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/install_linux.md b/docs/install_linux.md index 3952f10a5..4e0a7aa39 100644 --- a/docs/install_linux.md +++ b/docs/install_linux.md @@ -14,6 +14,7 @@ our release schedule. Install: ```bash +type -p curl >/dev/null || sudo apt install curl -y curl -fsSL https://cli.github.com/packages/githubcli-archive-keyring.gpg | sudo dd of=/usr/share/keyrings/githubcli-archive-keyring.gpg \ && sudo chmod go+r /usr/share/keyrings/githubcli-archive-keyring.gpg \ && echo "deb [arch=$(dpkg --print-architecture) signed-by=/usr/share/keyrings/githubcli-archive-keyring.gpg] https://cli.github.com/packages stable main" | sudo tee /etc/apt/sources.list.d/github-cli.list > /dev/null \