From b8171d61a6d4679f8b38b0366359ac4af1685cb6 Mon Sep 17 00:00:00 2001
From: mintty <mintty@users.noreply.github.com>
Date: Fri, 21 Sep 2018 17:44:02 +0200
Subject: [PATCH] do without `basename` (which isn't installed)

---
 config-distros.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/config-distros.sh b/config-distros.sh
index c97eb12..ba5ca78 100755
--- a/config-distros.sh
+++ b/config-distros.sh
@@ -10,8 +10,8 @@ remove=false
 alldistros=true
 config=true
 
-case "`basename $0`" in
-wsl*)
+case "/$0" in
+*/wsl*)
   config=false;;
 esac