On Wed, 12 Nov 2025 08:16:59 -0800 Josh Poimboeuf <[email protected]> wrote:
> On Wed, Nov 12, 2025 at 01:25:57PM +0000, David Laight wrote: > > On Wed, 12 Nov 2025 04:32:02 +0000 Michael Kelley <[email protected]> > > wrote: > > > From: Josh Poimboeuf <[email protected]> Sent: Tuesday, November 11, > > > 2025 8:04 PM > > > > On Wed, Nov 12, 2025 at 02:26:18AM +0000, Michael Kelley wrote: .. > > > > Does "$(pound)" work? This seems to work here: > > > > Please not 'pound' - that is the uk currency symbol (not what US > > greengrocers > > scrawl for lb). > > While I do call it the "pound sign", I can't take the credit/blame for > that name it as the variable already exists. > > It's better than "hashtag" which is what my kids call it :-/ '£' is a "pound sign", '#' is a "hash". David
