From 389f68b6345c47dc8443ac4f172876b7bda06dd0 Mon Sep 17 00:00:00 2001 From: rsora Date: Fri, 26 Jun 2020 17:18:42 +0200 Subject: [PATCH] Update install script documentation to document version pinning --- docs/installation.md | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/docs/installation.md b/docs/installation.md index 1acac5cfefe..c70d74e8adc 100644 --- a/docs/installation.md +++ b/docs/installation.md @@ -31,6 +31,13 @@ If you would like to use the `arduino-cli` command from any location, install Arduino CLI to a directory already in your `PATH` or add the Arduino CLI installation path to your `PATH` environment variable. +If you want to download a specific arduino-cli version, for example `0.9.0`, pass the +version number as a parameter like this: + +```sh +curl -fsSL https://raw.githubusercontent.com/arduino/arduino-cli/master/install.sh | sh -s 0.9.0 +``` + ### Download Pre-built binaries for all the supported platforms are available for download