From 816088f312b53d76a7053005d7be2f3119a84dd3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Petr=20P=C3=ADsa=C5=99?= Date: Wed, 15 May 2024 14:38:24 +0200 Subject: [PATCH] Debug nodocs --- .ci/fedora/get_fedora_deps.sh | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/.ci/fedora/get_fedora_deps.sh b/.ci/fedora/get_fedora_deps.sh index d99d5f73..2c83820b 100755 --- a/.ci/fedora/get_fedora_deps.sh +++ b/.ci/fedora/get_fedora_deps.sh @@ -6,7 +6,9 @@ set -x SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" pushd $SCRIPT_DIR -dnf -y --setopt=install_weak_deps=False --setopt=tsflags='' \ +grep nodocs /etc/dnf/dnf.conf + +dnf --dump-main-config -y --setopt=install_weak_deps=False --setopt=tsflags='' \ --nogpgcheck --quiet install --skip-broken \ python3-black \ clang \