From d27732bdf09f449d91d6e661e02934a9edc0eb22 Mon Sep 17 00:00:00 2001
From: Patrick Hilhorst <git@hilhorst.be>
Date: Wed, 16 May 2018 23:56:40 +0200
Subject: [PATCH] Remove "bashism"

Replace `bash <(...)` with `... | bash`

See also: NixOS/nixpkgs#40521
---
 src/root/build.tt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/root/build.tt b/src/root/build.tt
index ee0dcaa2..750ae474 100644
--- a/src/root/build.tt
+++ b/src/root/build.tt
@@ -541,7 +541,7 @@ END;
     following command:</p>
 
 <pre>
-<span class="shell-prompt">$ </span>bash <(curl <a [% HTML.attributes(href => url) %]>[% HTML.escape(url) %]</a>)
+<span class="shell-prompt">$ </span>curl <a [% HTML.attributes(href => url) %]>[% HTML.escape(url) %]</a> | bash
 </pre>
 
   </div>