From 2cb7bd780d61fc2e8b6262d8563ed85443fce190 Mon Sep 17 00:00:00 2001 From: C-3PO Date: Sun, 21 Jul 2019 18:14:57 +0200 Subject: [PATCH] =?UTF-8?q?=F0=9F=93=9D=20Update=20instructions=20for=20en?= =?UTF-8?q?vironment=20set-up?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- docs/setup-environment.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/docs/setup-environment.md b/docs/setup-environment.md index 6146163..83cdfee 100644 --- a/docs/setup-environment.md +++ b/docs/setup-environment.md @@ -1,17 +1,17 @@ # Setting up the environment -This page describes what you need to install before you can run the tools from the various repositories. We expect that you use Windows 10. +This page describes what you need to install before you can run the tools from the various repositories. We expect that you use Windows 10 or Linux. ## Steps 1. On Windows 10, install the Windows Subsystem for Linux (WSL) with either the Ubuntu or Debian distribution. -2. Open a command line shell: Press Win+R and enter `bash`. +2. Open a command line shell: Press `Win + R` and enter `bash`. -3. Install Node.js ([source](https://nodejs.org/en/download/package-manager/#debian-and-ubuntu-based-linux-distributions)): +3. Install Node.js ([source](https://github.com/nodesource/distributions/blob/master/README.md#debinstall)): ```bash - wget -qO- https://deb.nodesource.com/setup_11.x | sudo -E bash - + curl -sL https://deb.nodesource.com/setup_12.x | sudo -E bash - sudo apt-get install -y nodejs ```