From 3d71d79c972d500e78facb98120691396f2af6ab Mon Sep 17 00:00:00 2001
From: Michael Rodler <contact@f0rki.at>
Date: Fri, 20 Apr 2018 15:04:31 +0200
Subject: [PATCH] manage-tools didn't properly set PATH when using fish shell

---
 bin/manage-tools | 1 +
 1 file changed, 1 insertion(+)

diff --git a/bin/manage-tools b/bin/manage-tools
index 7c10732..f2b2550 100755
--- a/bin/manage-tools
+++ b/bin/manage-tools
@@ -164,6 +164,7 @@ EOF
 		fi
 	done
 
+	f=~/.config/fish/config.fish
 	if [[ -e "$f" ]]; then
 		if ! grep "$MAGIC" "$f" >/dev/null 2>&1; then
 			cat >> "$f" << EOF