bug-guix
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#67038: Inconsistent use of space before ellipsis


From: Ludovic Courtès
Subject: bug#67038: Inconsistent use of space before ellipsis
Date: Fri, 17 Nov 2023 16:47:18 +0100
User-agent: Gnus/5.13 (Gnus v5.13)

Hi,

"pelzflorian (Florian Pelz)" <pelzflorian@pelzflorian.de> skribis:

> Simon Tournier <zimon.toutoune@gmail.com> writes:
>> For consistency, I suggest the rule: ’word...’ and not ’word ...’
>>
>> Something like the patch attached.
>
> +1

+1!

> (match event
>   […]
>   (('download-started item uri _ ...)
>    (when print-urls?
>      (erase-current-line*)
>      (format port (info (G_ "downloading from ~a ...")) uri)
>      (newline port)))
>
> Should we keep this space?  Perhaps keep it; it is clearer where the
> URI ends.

Yes, we should keep this one: somebody added it on the grounds that it
allowed them to click on URLs in their terminal and get the correct URL,
without the period.

Ludo’.





reply via email to

[Prev in Thread] Current Thread [Next in Thread]