From 061e9e51c3713c37ca105d96e81c066aa78d6fd6 Mon Sep 17 00:00:00 2001
From: laurentheirendt <laurent.heirendt@uni.lu>
Date: Tue, 22 Jan 2019 08:35:34 +0100
Subject: [PATCH] minor changes to editor and terminal

---
 the_editor.md   | 2 +-
 the_terminal.md | 7 +++++--
 2 files changed, 6 insertions(+), 3 deletions(-)

diff --git a/the_editor.md b/the_editor.md
index dfd036b9..6de4cfcd 100644
--- a/the_editor.md
+++ b/the_editor.md
@@ -8,4 +8,4 @@ Recommended editors:
 
 ## Visual Studio Code
 
-<img src="https://code.visualstudio.com/assets/docs/nodejs/extensions/document_this.gif" alt="visualStudioCode"/>
\ No newline at end of file
+<br>(Live Demo)
\ No newline at end of file
diff --git a/the_terminal.md b/the_terminal.md
index 2b9d3704..484440b5 100644
--- a/the_terminal.md
+++ b/the_terminal.md
@@ -1,10 +1,9 @@
 ## The terminal (shell)
 
-<div class="fragment">
 <br>
 **UNIX users (macOS & Linux):**
 
-Start the terminal from your `/Applications` directoy.
+Start the Terminal from your `/Applications` directoy.
 
 *Pro Tip:* Download iTerm2: <br>`https://www.iterm2.com`
 
@@ -13,6 +12,10 @@ Start the terminal from your `/Applications` directoy.
 
 Install Git Bash: <br>`https://git-scm.com/download/win`
 
+<br>
+**Linux users:**
+Install Terminator: <br>`https://launchpad.net/terminator`
+
 
 
 ## First steps in the terminal
-- 
GitLab