From 8908dc51d610f2ce3b2c086b25e04cb9322a66d1 Mon Sep 17 00:00:00 2001
From: Mike McQuaid <mike@mikemcquaid.com>
Date: Wed, 22 May 2019 10:19:20 +0100
Subject: [PATCH] keg: tell people what command will remove keg.

This will work regardless of permissions.
---
 Library/Homebrew/keg.rb | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/Library/Homebrew/keg.rb b/Library/Homebrew/keg.rb
index 5c509d4600..48d6feff09 100644
--- a/Library/Homebrew/keg.rb
+++ b/Library/Homebrew/keg.rb
@@ -311,7 +311,10 @@ class Keg
     remove_old_aliases
     remove_oldname_opt_record
   rescue Errno::ENOTEMPTY
-    ofail "Could not remove #{path}! Check its permissions."
+    odie <<~EOS
+      Could not remove #{name} keg! Do so manually:
+        sudo rm -rf #{path}
+    EOS
   end
 
   def unlink(mode = OpenStruct.new)