From e369d194bba9c9a4f610efa713cf41dbcb377d73 Mon Sep 17 00:00:00 2001 From: Rayid Ghani Date: Sat, 19 Jan 2019 19:08:57 -0600 Subject: [PATCH] Update environment.md --- Practical Tips/environment.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Practical Tips/environment.md b/Practical Tips/environment.md index acf6503..3a4fbd0 100644 --- a/Practical Tips/environment.md +++ b/Practical Tips/environment.md @@ -1,5 +1,5 @@ # Setting up your work environment -We're gonig to assume you're using some type of linux environment, and that you're conecting to a remote server from your local machine. +We're going to assume you're using some type of linux environment, and that you're conecting to a remote server from your local machine. Some tips you'll find useful: * **SSH keys**: Set up an ssh key to log in. This will allow you to log in using a key instead of a password