From 2ee06480e5ea17a703f37679eaa24cf4b9a08210 Mon Sep 17 00:00:00 2001
From: vilmibm <vilmibm@neongrid.space>
Date: Thu, 17 Sep 2020 16:13:55 -0500
Subject: [PATCH] another small linux note

---
 docs/install_linux.md | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/docs/install_linux.md b/docs/install_linux.md
index fc8b21ab8..368445993 100644
--- a/docs/install_linux.md
+++ b/docs/install_linux.md
@@ -20,6 +20,9 @@ sudo apt update
 sudo apt install gh
 ```
 
+**Note**: most systems will have `apt-add-repository` already. If you get a _command not found_
+error, try running `sudo apt install software-properties-common` and trying these steps again.
+
 Upgrade:
 
 ```bash