From 60d3bf4eb9a9660be9515f784929cbbda2a1d5ff Mon Sep 17 00:00:00 2001
From: Mike McQuaid <mike@mikemcquaid.com>
Date: Mon, 5 Sep 2016 21:32:25 +0100
Subject: [PATCH] brew.rb: don't restrict dev-cmd/*.rb to Homebrew developers.
---
Library/Homebrew/brew.rb | 7 ++++++-
1 file changed, 6 insertions(+), 1 deletion(-)
diff --git a/Library/Homebrew/brew.rb b/Library/Homebrew/brew.rb
index 78c8ee5f5b..ee70350095 100644
--- a/Library/Homebrew/brew.rb
+++ b/Library/Homebrew/brew.rb
@@ -64,8 +64,13 @@ begin
if cmd
internal_cmd = require? HOMEBREW_LIBRARY_PATH.join("cmd", cmd)
- if !internal_cmd && ARGV.homebrew_developer?
+ unless internal_cmd
internal_cmd = require? HOMEBREW_LIBRARY_PATH.join("dev-cmd", cmd)
+ if internal_cmd && !ARGV.homebrew_developer?
+ safe_system "git", "config", "--file=#{HOMEBREW_REPOSITORY}/.git/config",
+ "--replace-all", "homebrew.devcmdrun", "true"
+ ENV["HOMEBREW_DEV_CMD_RUN"] = "1"
+ end
end
end
--
GitLab