Zsh Mailing List Archive
Messages sorted by:
Reverse Date,
Date,
Thread,
Author
Re: zsh_error_db --- hash-based database of error messages
- X-seq: zsh-workers 51243
- From: Peter Stephenson <p.w.stephenson@xxxxxxxxxxxx>
- To: Oliver Kiddle <opk@xxxxxxx>
- Cc: zsh workers <zsh-workers@xxxxxxx>
- Subject: Re: zsh_error_db --- hash-based database of error messages
- Date: Mon, 19 Dec 2022 09:19:40 +0000 (GMT)
- Archived-at: <https://zsh.org/workers/51243>
- Importance: Normal
- In-reply-to: <7959-1671312802.630649@JJwt.SU5o.2T2j>
- List-id: <zsh-workers.zsh.org>
- References: <527664940.183302.1671208973242@mail.virginmedia.com> <7959-1671312802.630649@JJwt.SU5o.2T2j>
> If we want to address internationalisation, we might come to regret not
> just using the normal POSIX catgets(3) interface and catalogue files.
> What they do looks simple on the surface but there's probably hidden
> areas of complexity that we'd end up duplicating. I can see the value of
> allowing things to be done in shell code but the two are not mutually
> exclusive.
Actually, internationalization was only one possible use. The idea
was to allow for more descriptive error messages for those who wanted
them. But if that's not going anywhere this can be ditched. It was
only a proposal to allow the minimum of work within the shell internals
that seemed it might get something off the ground.
> E and a number sounds fine.
It sounds like that, and a script to keep this in order, is the way
this would be heading, if it seems worth pursuing. The script
should be able to list out the default messages, checked for
duplicates, and check for the next unassigned number. If
the number appears in a macro, as noted by Daniel, that makes
it easy. That can use ## to join strings so still doesn't
need a change to the message API.
pws
Messages sorted by:
Reverse Date,
Date,
Thread,
Author