diff --git a/master_changes.md b/master_changes.md index e38715ef023..fcd639c8b37 100644 --- a/master_changes.md +++ b/master_changes.md @@ -47,6 +47,7 @@ users) ## Pin * [NEW] Make it so pin list display the current revision of a pinned repository in a new column [#6274 @desumn - fix #5533] * [BUG] Stop double pin of packages located in ./opam/opam [#6343 @kit-ty-kate - fix #6342] + * Don't ask confirmation when pinning an unknown package (absent from repositories) [#6309 @kit-ty-kate @rjbou - fix #3199] ## List diff --git a/src/client/opamPinCommand.ml b/src/client/opamPinCommand.ml index 3a4506fb538..93ddfcb1904 100644 --- a/src/client/opamPinCommand.ml +++ b/src/client/opamPinCommand.ml @@ -491,12 +491,10 @@ and source_pin version, None in - if not (OpamPackage.has_name st.packages name) && - not (OpamConsole.confirm - "Package %s does not exist, create as a %s package?" - (OpamPackage.Name.to_string name) - (OpamConsole.colorise `bold "NEW")) - then raise Aborted; + if not (OpamPackage.has_name st.packages name) then + OpamConsole.note "Package %s does not exist in opam repositories \ + registered in the current switch." + (OpamPackage.Name.to_string name); (match OpamStd.Option.map OpamFile.URL.url cur_urlf, target_url with | Some u, Some target when OpamUrl.(