From bf4c5a5cf163fa3f9149a06b8a86e2cf62e8c624 Mon Sep 17 00:00:00 2001
From: Jan Felix Langenbach <o.hase3@gmail.com>
Date: Tue, 3 Dec 2019 22:51:56 +0100
Subject: [PATCH] Remove link to share on ghcup rm

When the currently set ghc is removed, the ~/.ghcup/share symlink
is now cleaned up like the rest.
---
 ghcup | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/ghcup b/ghcup
index 13facc7..1f0ca1e 100755
--- a/ghcup
+++ b/ghcup
@@ -1657,6 +1657,8 @@ rm_ghc() {
                 fi
             done
             unset t known_tools
+            # remove share directory
+            edo rm "${BIN_LOCATION}/../share"
 
             warning_message "Done."
             warning_message "You may now want to set currently active GHC to a different version via:"