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:

-$ bash <(curl  url) %]>[% HTML.escape(url) %])
+$ curl  url) %]>[% HTML.escape(url) %] | bash