distr_info: user HOME_URL if BUG_REPORT_URL is empty

144b4b88 · Vitaly Lipatov · 99cb08db · 144b4b88
Commit 144b4b88 authored Jul 14, 2023 by Vitaly Lipatov
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 0 deletions

distr_info bin/distr_info +1 -0

No files found.
--- a/bin/distr_info
+++ b/bin/distr_info
@@ -376,6 +376,7 @@ if distro os-release ; then
    DISTRIB_RELEASE="$VERSION_ID"
    [ -n "$DISTRIB_RELEASE" ] || DISTRIB_RELEASE="CUR"
    [ "$BUILD_ID" = "rolling" ] && DISTRIB_RELEASE="rolling"
+    [ -n "$BUG_REPORT_URL" ] || BUG_REPORT_URL="$HOME_URL"
    # set by os-release:
    #PRETTY_NAME
    VENDOR_ID="$ID"