From 46790c420f032b5b728be9b3803b8f1f62b7a966 Mon Sep 17 00:00:00 2001 From: Roland Heyder Date: Fri, 19 Aug 2022 00:26:13 +0200 Subject: [PATCH] Step 22: There's always something else - also removed changelog.md from make_dist.sh - make `curl` really quiet with >NUL, --silent does suppress the progress display only --- .ci/make-dist.sh | 1 - source/ide/wiki/wiki_methods.bas | 2 +- 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/.ci/make-dist.sh b/.ci/make-dist.sh index 27328818f..a257befb8 100755 --- a/.ci/make-dist.sh +++ b/.ci/make-dist.sh @@ -31,7 +31,6 @@ mkdir -p $DIST_ROOT/internal/c cp -rp ./source $DIST_ROOT cp -rp ./licenses $DIST_ROOT -cp ./CHANGELOG.md $DIST_ROOT cp ./COPYING.txt $DIST_ROOT cp ./README.md $DIST_ROOT cp ./qb64pe.1 $DIST_ROOT diff --git a/source/ide/wiki/wiki_methods.bas b/source/ide/wiki/wiki_methods.bas index 3d4867cba..e9eb1f0bc 100644 --- a/source/ide/wiki/wiki_methods.bas +++ b/source/ide/wiki/wiki_methods.bas @@ -38,7 +38,7 @@ FUNCTION Wiki$ (PageName$) 'Read cached wiki page (download, if not yet cached) END IF 'Check for curl - IF _SHELLHIDE("curl --version") <> 0 THEN + IF _SHELLHIDE("curl --version >NUL") <> 0 THEN a$ = CHR$(10) + "{{PageInternalError}}" + CHR$(10) IF PageName$ = "Initialize" THEN a$ = a$ + "To be able to initialize the help system, "