Add installation instructions

Author: per1234

Diff for: docs/index.md

@@ -5,6 +5,10 @@ Its focus is on the structure, metadata, and configuration of Arduino projects,
 [specification](https://arduino.github.io/arduino-cli/latest/library-specification) compliance, Library Manager
 submission [requirements](https://github.com/arduino/Arduino/wiki/Library-Manager-FAQ), and best practices.
 
+## Installation
+
+See the [installation instructions](installation.md).
+
 ## Getting started
 
 Once installed, you only need to open a terminal at your project folder and run the command:

Diff for: docs/installation.md

@@ -0,0 +1,61 @@
+## Use the install script
+
+The script requires `sh`, which is always available on Linux and macOS. `sh` is not available by default on Windows. The
+script can be run on Windows by installing [Git for Windows](https://gitforwindows.org/), then running it from Git Bash.
+
+This script will install the latest version of arduino-lint to `$PWD/bin`:
+
+```
+curl -fsSL https://raw.githubusercontent.com/arduino/arduino-lint/main/install.sh | sh
+```
+
+If you want to target a different directory, for example `~/local/bin`, set the `BINDIR` environment variable like this:
+
+```
+curl -fsSL https://raw.githubusercontent.com/arduino/arduino-lint/main/install.sh | BINDIR=~/local/bin sh
+```
+
+If you would like to use the `arduino-lint` command from any location, install arduino-lint to a directory already in
+your `PATH` or add the arduino-lint installation path to your `PATH` environment variable.
+
+If you want to download a specific arduino-lint version, for example `0.9.0`, pass the version number as a parameter
+like this:
+
+```
+curl -fsSL https://raw.githubusercontent.com/arduino/arduino-lint/main/install.sh | sh -s 0.9.0
+```
+
+### Download
+
+Pre-built binaries for all the supported platforms are available for download from the links below.
+
+If you would like to use the `arduino-lint` command from any location, extract the downloaded file to a directory
+already in your `PATH` or add the arduino-lint installation path to your `PATH` environment variable.
+
+#### Latest release
+
+| Platform  |                      |                      |
+| --------- | -------------------- | -------------------- |
+| Linux     | [32 bit][linux32]    | [64 bit][linux64]    |
+| Linux ARM | [32 bit][linuxarm32] | [64 bit][linuxarm64] |
+| Windows   | [32 bit][windows32]  | [64 bit][windows64]  |
+| macOS     |                      | [64 bit][macos]      |
+
+[linux64]: https://downloads.arduino.cc/arduino-lint/arduino-lint_latest_Linux_64bit.tar.gz
+[linux32]: https://downloads.arduino.cc/arduino-lint/arduino-lint_latest_Linux_32bit.tar.gz
+[linuxarm64]: https://downloads.arduino.cc/arduino-lint/arduino-lint_latest_Linux_ARM64.tar.gz
+[linuxarm32]: https://downloads.arduino.cc/arduino-lint/arduino-lint_latest_Linux_ARMv7.tar.gz
+[windows64]: https://downloads.arduino.cc/arduino-lint/arduino-lint_latest_Windows_64bit.zip
+[windows32]: https://downloads.arduino.cc/arduino-lint/arduino-lint_latest_Windows_32bit.zip
+[macos]: https://downloads.arduino.cc/arduino-lint/arduino-lint_latest_macOS_64bit.tar.gz
+
+#### Previous versions
+
+These are available from the "Assets" sections on the [releases page](https://github.com/arduino/arduino-lint/releases).
+
+`https://downloads.arduino.cc/arduino-lint/nightly/nightly-<DATE>-checksums.txt`
+
+### Build from source
+
+If you’re familiar with Golang or if you want to contribute to the project, you will probably build arduino-lint locally
+with your Go toolchain. See the ["How to contribute"](CONTRIBUTING.md#building-the-source-code) page for instructions.

Diff for: mkdocs.yml

@@ -46,6 +46,7 @@ markdown_extensions:
 # Navigation
 nav:
   - Documentation Home: index.md
+  - installation.md
   - Command reference: commands/arduino-lint.md
   - CONTRIBUTING.md