From 28aaa277e041a31c57e3ae49cdf4cb23d3f29bf3 Mon Sep 17 00:00:00 2001 From: Joe George Date: Wed, 10 Oct 2018 11:41:44 -0400 Subject: [PATCH] fix: don't strip github.com from local paths; fix #472 --- fisher.fish | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/fisher.fish b/fisher.fish index a1820b9..f3a6add 100644 --- a/fisher.fish +++ b/fisher.fish @@ -349,7 +349,7 @@ end function _fisher_fishfile_indent -a pkgs command awk -v PWD=$PWD -v HOME=$HOME -v PKGS="$pkgs" ' function normalize(s) { - gsub(/^[ \t]*|[ \t]*$|https?:\/\/|github\.com\/|\.git$|\/$/, "", s) + gsub(/^[ \t]*|[ \t]*$|https?:\/\/|^[ \t]*github\.com\/|\.git$|\/$/, "", s) sub(/^\.\//, PWD"/", s) sub(HOME, "~", s) return s