From 12c401c39abcc0ddfdab950f8a6ac7e85833b4bf Mon Sep 17 00:00:00 2001 From: Markus Fix Date: Tue, 12 Jan 2016 15:18:47 +0100 Subject: [PATCH] fixes TLA+ app installation with correct app name. previously the application bundle didn't use the "branded" name. The 1.5.2 version now uses "TLA+ Toolbox.app" as the name for the application bundle. --- Casks/tla-plus-toolbox.rb | 11 ++++------- 1 file changed, 4 insertions(+), 7 deletions(-) diff --git a/Casks/tla-plus-toolbox.rb b/Casks/tla-plus-toolbox.rb index eca4e09e0e..d909a69ba5 100644 --- a/Casks/tla-plus-toolbox.rb +++ b/Casks/tla-plus-toolbox.rb @@ -8,12 +8,9 @@ cask 'tla-plus-toolbox' do homepage 'https://research.microsoft.com/en-us/um/people/lamport/tla/toolbox.html' license :mit - # Renamed for clarity: app name is inconsistent with its branding. - # Original discussion: https://github.com/caskroom/homebrew-cask/pull/8829 - app 'toolbox/toolbox.app', :target => 'TLA+ Toolbox.app' + app 'TLA+ Toolbox.app' - caveats <<-EOS.undent - #{token} requires Java. You can install the latest version with - brew cask install java - EOS + caveats do + depends_on_java + end end