From 6799e03bed10d982e228da2691456eeb08c80301 Mon Sep 17 00:00:00 2001
From: Shai Efrati <shaief@gmail.com>
Date: Wed, 6 Jan 2016 09:23:27 +0200
Subject: [PATCH] Fix font_dir on linux to be ~/.local/share/fonts as the
 previous was deprecated.

---
 install.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/install.sh b/install.sh
index 403d2da0a..80f9b85c2 100755
--- a/install.sh
+++ b/install.sh
@@ -10,7 +10,7 @@ if [[ $(uname) == 'Darwin' ]]; then
   font_dir="$HOME/Library/Fonts"
 else
   # Linux
-  font_dir="$HOME/.fonts"
+  font_dir="$HOME/.local/share/fonts"
   mkdir -p "$font_dir"
 fi