Skip to content

Commit

Permalink
init: at init stage, update 'sys-pkg-manager-cmd' field in config acc…
Browse files Browse the repository at this point in the history
…ording their value in init config files (opamrc)
  • Loading branch information
rjbou committed Feb 16, 2024
1 parent 8f6632d commit 575743c
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion src/client/opamClient.ml
Original file line number Diff line number Diff line change
Expand Up @@ -1016,7 +1016,9 @@ let update_with_init_config ?(overwrite=false) config init_config =
setifnew C.default_compiler C.with_default_compiler
(I.default_compiler init_config) |>
setifnew C.default_invariant C.with_default_invariant
(I.default_invariant init_config)
(I.default_invariant init_config) |>
setifnew C.sys_pkg_manager_cmd C.with_sys_pkg_manager_cmd
(I.sys_pkg_manager_cmd init_config)

let reinit ?(init_config=OpamInitDefaults.init_config()) ~interactive
?dot_profile ?update_config ?env_hook ?completion ?inplace
Expand Down

0 comments on commit 575743c

Please sign in to comment.