GNU bug report logs - #77909
[PATCH rust-team] gnu: Add television.

Previous Next

Full log

Message #23 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Gabriel Santos <gabrielsantosdesouza <at> disroot.org>
To: Hilton Chain <hako <at> ultrarare.space>,
 Gabriel Santos via Guix-patches via <guix-patches <at> gnu.org>
Cc: 77909 <at> debbugs.gnu.org, Divya Ranjan Pattanaik <divya <at> subvertising.org>,
 Efraim Flashner <efraim <at> flashner.co.il>, Steve George <steve <at> futurile.net>
Subject: Re: [bug#77909] [PATCH rust-team] gnu: Add television.
Date: Sat, 19 Apr 2025 10:46:15 -0300

>>TUI -> terminal user interface
>
>Oh yes, thank you, abbreviations have to ne defined first before they
>are used.

Replacing "TUI" with "Terminal User Interface" yields a 85
character long line, over the 80 limit. Would it be better if I
just remove this from the synopsis?

>Cross-platform, general purpose fuzzy finder

-- 
Gabriel Santos

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.