tla-plus-toolbox-nightly.rb: replace scan.flatten.first with match (#…

…9708)
Homebrew · Oct 5, 2020 · 631e876 · 631e876
1 parent 4a2fa1d
commit 631e876
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Casks/tla-plus-toolbox-nightly.rb b/Casks/tla-plus-toolbox-nightly.rb
@@ -6,7 +6,7 @@
   url do
     require "open-uri"
     base_url = "https://tla.msr-inria.inria.fr/tlatoolbox/ci/products/"
-    file = URI(base_url).open.read.scan(/href="([^"]+-macosx.cocoa.x86_64.zip)"/).flatten.first
+    file = URI(base_url).read[/href="([^"]+-macosx.cocoa.x86_64.zip)"/, 1]
     "#{base_url}#{file}"
   end
   name "TLA+ Toolbox"