Skip to content

Commit

Permalink
Add back in --yes to playground switch
Browse files Browse the repository at this point in the history
Breaks the user experience having to prompt for deleting
the playground switch.

Part of diskuv/dkml-installer-ocaml#77
  • Loading branch information
jonahbeckford committed Nov 30, 2023
1 parent 94946c8 commit 368caa9
Showing 1 changed file with 5 additions and 0 deletions.
5 changes: 5 additions & 0 deletions src/runtimelib/init_system.ml
Original file line number Diff line number Diff line change
Expand Up @@ -31,6 +31,11 @@ let create_playground_switch ~system_cfg ~ocaml_home_fp ~opamroot_dir_fp =
"-w";
"-n";
"playground";
(* The playground switch is for the use of teaching OCaml and as such is fully under the ownership
of DkML. That means no user prompts are required when killing it. In fact, doing a
[dune build] and having a question posed is a serious violation of user experience _and_
may break build tooling that expects no user prompts on stdin. *)
"-y";
"-v";
Fpath.to_string ocaml_home_fp;
"-o";
Expand Down

0 comments on commit 368caa9

Please sign in to comment.