OpamRepositoryCommandFunctions handling the "opam repository" subcommand
val switch_repos :
'a OpamStateTypes.repos_state ->
OpamSwitch.t ->
OpamRepositoryName.t listReturns the repository names registered in the given switch
val list :
'a OpamStateTypes.repos_state ->
global:bool ->
switches:OpamTypes.switch list ->
short:bool ->
unitList the selected repositories in the global default and/or selected switches.
val list_all : 'a OpamStateTypes.repos_state -> short:bool -> unitLists all configured repositories, and, if not short, the switches they are selected in.
val add :
OpamStateTypes.rw OpamStateTypes.repos_state ->
OpamTypes.repository_name ->
OpamTypes.url ->
OpamTypes.trust_anchors option ->
OpamStateTypes.rw OpamStateTypes.repos_stateAdd a new repository to ~/.opam/repos, without updating any selections
val remove :
OpamStateTypes.rw OpamStateTypes.repos_state ->
OpamTypes.repository_name ->
OpamStateTypes.rw OpamStateTypes.repos_stateRemove a repository from ~/.opam/repos, without updating any selections
val update_global_selection :
OpamStateTypes.rw OpamStateTypes.global_state ->
(OpamTypes.repository_name list -> OpamTypes.repository_name list) ->
OpamStateTypes.rw OpamStateTypes.global_stateUpdates the global switch selection, used as default for switches that don't specify their selections (e.g. newly created switches)
val update_selection :
'a OpamStateTypes.global_state ->
global:bool ->
switches:OpamTypes.switch list ->
(OpamTypes.repository_name list -> OpamTypes.repository_name list) ->
'a OpamStateTypes.global_stateUpdates the specified selections using the given functions, taking locks as required
val set_url :
OpamStateTypes.rw OpamStateTypes.repos_state ->
OpamTypes.repository_name ->
OpamTypes.url ->
OpamTypes.trust_anchors option ->
OpamStateTypes.rw OpamStateTypes.repos_stateChange the registered address of a repo
val update_with_auto_upgrade :
OpamStateTypes.rw OpamStateTypes.repos_state ->
OpamTypes.repository_name list ->
OpamTypes.repository_name list * OpamStateTypes.rw OpamStateTypes.repos_stateUpdate the given repositories, as per OpamUpdate.repositories, checks for their version and runs the upgrade script locally if they are for an earlier opam. Returns list of repositories that failed and the new repository state.