help-bash
[Top][All Lists]
Advanced

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

Re: EPOCHREALTIME to days, hours, minutes, seconds


From: Tapani Tarvainen
Subject: Re: EPOCHREALTIME to days, hours, minutes, seconds
Date: Sat, 21 Aug 2021 07:50:38 +0300

On Fri, Aug 20, 2021 at 05:25:16PM -0400, Greg Wooledge (greg@wooledge.org) 
wrote:

> On Fri, Aug 20, 2021 at 10:06:53PM +0300, Tapani Tarvainen wrote:
> > Incidentally, [![:digit:]] does not work there, you need to use the
> > POSIX-specified caret (^) instead of an exclamation mark when using
> > character classes.
> 
> You've got it backwards.  POSIX specifies ! for use in globs, and bash
> permits ^ as an extension, for people who are used to ^ from regular
> expressions.
> 
> Perhaps you "tested" this using grep or [[ =~ ]] or something else that
> uses regular expressions, not globs.

Indeed, I must've done exactly that. I was too tired to be sure now.

My bad. Apologies, and thank you for correcting me.

-- 
Tapani Tarvainen



reply via email to

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