From 8361fa3d3347d7ca1b3d79ea65ffa3458fd0d9c3 Mon Sep 17 00:00:00 2001
From: Felix Stupp <felix.stupp@outlook.com>
Date: Thu, 21 May 2020 14:03:05 +0200
Subject: [PATCH] Replaced non-expanding tilde with $HOME

---
 recht.plugin.zsh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/recht.plugin.zsh b/recht.plugin.zsh
index 195bfc9..55e0548 100644
--- a/recht.plugin.zsh
+++ b/recht.plugin.zsh
@@ -1,7 +1,7 @@
 function recht() {
     # Load configuration values
     local serverUrl="${ZSH_PLUGIN_RECHT_SERVER_URL:-https://www.gesetze-im-internet.de}"
-    local docsDir="${ZSH_PLUGIN_RECHT_DOCS_DIR:-~/.zsh-recht-docs}";
+    local docsDir="${ZSH_PLUGIN_RECHT_DOCS_DIR:-$HOME/.zsh-recht-docs}";
     local docViewer="${ZSH_PLUGIN_RECHT_DOC_VIEWER:-xdg-open}";
     # Create output directory if not exists already
     mkdir --parents "$docsDir";