Browse Source

do not repeat installation prompt for unrecognized versions (#200)

remotes/origin/add-simple-redirecting-site
Corentin Leruth 5 years ago committed by GitHub
parent
commit
3f2124bcfc
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 7
      executable/Use.re

7
executable/Use.re

@ -87,8 +87,11 @@ let rec askIfInstall = (~version, ~quiet, retry) => { @@ -87,8 +87,11 @@ let rec askIfInstall = (~version, ~quiet, retry) => {
switch%lwt (Lwt_io.read_line(Lwt_io.stdin)) {
| "Y"
| "y" =>
let%lwt _ = Install.run(~version);
retry(~version, ~quiet);
let%lwt res = Install.run(~version);
switch (res) {
| Error(_) => Lwt.return_error(1)
| Ok(_) => retry(~version, ~quiet)
};
| "N"
| "n" =>
let%lwt () = Lwt_io.write_line(Lwt_io.stderr, "Not installing!");

Loading…
Cancel
Save