From 20181467f3b4968cf45048cf8890650fbe47e23a Mon Sep 17 00:00:00 2001
From: James Hibbard <1940994+jameshibbard@users.noreply.github.com>
Date: Mon, 26 Aug 2019 23:38:55 +0200
Subject: [PATCH] Improves instructions for setting up Linux

---
 docs/tutorial/development-environment.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/docs/tutorial/development-environment.md b/docs/tutorial/development-environment.md
index 0c6f5aa84..fae0f3680 100644
--- a/docs/tutorial/development-environment.md
+++ b/docs/tutorial/development-environment.md
@@ -63,14 +63,14 @@ for JavaScript development.
 
 ## Setting up Linux
 
-> NodeGui currently supports Ubuntu 17.10 and Debian 10 and up. Although other linux distributions can also be easily supported. NodeGui currently only supports 64bit OS. NodeGui can technically support lower versions of linux that what is mentioned here provided gcc >= v7 and libc version >= GLIBC_2.25
+> NodeGui currently supports Ubuntu 17.10 and Debian 10 and up. Although other Linux distributions can also be easily supported. NodeGui currently only supports 64bit OS. NodeGui can technically support lower versions of Linux than mentioned here provided gcc >= v7 and libc version >= GLIBC_2.25
 
 **Requirements:**
 
 - Python 2.x , Make, GCC v7
 - Currently supported Node.Js versions are 12.x and up.
 - Make sure you dont have spaces inside your home path. NodeGYP has issues with spaces in the path. https://github.com/nodejs/node-gyp/issues/209
-- It is advisable to do: `On Ubuntu: $ sudo apt-get install pkg-config build-essentials`
+- On Ubuntu and Ubuntu-based distros it is advisable to run `sudo apt-get update`, followed by `sudo apt-get install pkg-config build-essential`
 
 We strongly suggest you use some kind of version manager for Node.Js. This would allow you to switch to any version of nodejs quite easily. We recommend `nvm`: https://github.com/nvm-sh/nvm