From 180fdc20372d6501b8fcabb66e1d3cbda02b35c9 Mon Sep 17 00:00:00 2001 From: Boris Kolpackov Date: Mon, 5 Dec 2022 12:33:59 +0200 Subject: Use curl instead of wget as default fetch program We used to prefer wget 1.16 because it has --show-progress which results in nicer progress. But experience shows that wget is quite unreliable plus with bdep always using curl, it would be strange to use both curl and wget (and expecting the user to setup proxy, authentication, etc., for both). Also add internal --curl* options to be used by bdep. --- doc/cli.sh | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) (limited to 'doc') diff --git a/doc/cli.sh b/doc/cli.sh index fc81528..30ed7b2 100755 --- a/doc/cli.sh +++ b/doc/cli.sh @@ -66,12 +66,15 @@ function compile () ../bpkg/$n.cli } -o="--output-prefix bpkg- --class-doc bpkg::common_options=short" +# Need global --suppress-undocumented because of few undocumented options +# in common.cli. +# +o="--suppress-undocumented --output-prefix bpkg- --class-doc bpkg::common_options=short" # A few special cases. # compile "common" $o --output-suffix "-options" --class-doc bpkg::common_options=long -compile "bpkg" $o --output-prefix "" --suppress-undocumented --class-doc bpkg::commands=short --class-doc bpkg::topics=short +compile "bpkg" $o --output-prefix "" --class-doc bpkg::commands=short --class-doc bpkg::topics=short compile "pkg-build" $o --class-doc bpkg::pkg_build_pkg_options=exclude-base -- cgit v1.1