Update os.md

bluzelle · Nov 22, 2020 · d9d33a8 · d9d33a8
1 parent 17fc3cd
commit d9d33a8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/setup/os.md b/setup/os.md
@@ -15,7 +15,7 @@
 
    so that when we use apt to install the tools we need we will get the most recent versions.
 
-3. Install the build-essential tools and jq for easy JSON parsing and pretty printing
+3. Install the build-essential tools and jq for easy JSON parsing and pretty printing (you might have to use apt instead of apt-get, if the latter fails. If so, do the update with apt as well).
 
    ```text
    sudo apt-get install build-essential jq