bootstrap: add support to stdin

diff --git a/mr b/mr
index be2bac623a79e8b9e944bb0f7c516711b180a48a..d59dc39299cec62bcc44e2c55e92f1a14969bde9 100755 (executable)
--- a/mr
+++ b/mr
@@ -1715,6 +1715,10 @@ sub bootstrap {
                        if $downloader[0] eq 'curl' && $status >> 8 == 60;
                die "mr bootstrap: download of $src failed\n" if $status != 0;
        }
+       elsif ($src eq '-') {
+               # Config file is read from stdin.
+               copy(\*STDIN, $tmpconfig) || die "stdin: $!";
+       }
        else {
                # Config file is local.
                die "mr bootstrap: cannot read file '$src'"