From ce9a26a3147a90d4f5afe6302cc513325d46d371 Mon Sep 17 00:00:00 2001
From: Eugenio Berretta <33126163+euberdeveloper@users.noreply.github.com>
Date: Sun, 2 Jan 2022 20:49:36 +0100
Subject: [PATCH] fix(git-redate): fix settings path

I noticed that in my pc (Ubuntu 20 - bash), using `SETTINGS_FILE="~/.redate-settings";` does not work when tested with `[ -f $SETTINGS_FILE ]`, while `SETTINGS_FILE="$HOME/.redate-settings"` does
---
 git-redate | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/git-redate b/git-redate
index 066fd95..0527153 100755
--- a/git-redate
+++ b/git-redate
@@ -30,8 +30,8 @@ get_editor_executable() {
 
 
 is_has_editor() {
-    SETTINGS_FILE="~/.redate-settings";
-    if [ -f "$SETTINGS_FILE" ]
+    SETTINGS_FILE="$HOME/.redate-settings";
+    if [ -f $SETTINGS_FILE ]
     then
         OUR_EDITOR=$(cat ${SETTINGS_FILE});
     elif [ ! -z "$EDITOR" ]