From 7b58a040ce4953d9a21e9ff15e7bcc10f2ebb236 Mon Sep 17 00:00:00 2001 From: Jakub Wilk Date: Mon, 26 Feb 2024 21:31:08 +0100 Subject: [PATCH] =?UTF-8?q?For=20Python=20<=203.10,=20rename=20=E2=80=9Cop?= =?UTF-8?q?tional=20arguments=E2=80=9D=20as=20=E2=80=9Coptions=E2=80=9D.?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- ubanner | 3 +++ 1 file changed, 3 insertions(+) diff --git a/ubanner b/ubanner index e6f58c7..d3885bf 100755 --- a/ubanner +++ b/ubanner @@ -126,6 +126,9 @@ except UnicodeError: def main(): signal.signal(signal.SIGPIPE, signal.SIG_DFL) ap = argparse.ArgumentParser() + if sys.version_info < (3, 10): + # https://bugs.python.org/issue9694 + ap._optionals.title = 'options' ap.add_argument('--version', action=VersionAction) ap.add_argument('--list-fonts', nargs=0, action=act_list_fonts, help='print list of available font faces',