[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
- EPOCHREALTIME to days, hours, minutes, seconds, (continued)
- EPOCHREALTIME to days, hours, minutes, seconds, hancooper, 2021/08/20
- Re: EPOCHREALTIME to days, hours, minutes, seconds, Alex fxmbsw7 Ratchev, 2021/08/20
- Re: EPOCHREALTIME to days, hours, minutes, seconds, Tapani Tarvainen, 2021/08/20
- Re: EPOCHREALTIME to days, hours, minutes, seconds, Andreas Kusalananda Kähäri, 2021/08/20
- Re: EPOCHREALTIME to days, hours, minutes, seconds, Emanuele Torre, 2021/08/20
- Re: EPOCHREALTIME to days, hours, minutes, seconds, Alex fxmbsw7 Ratchev, 2021/08/20
- Re: EPOCHREALTIME to days, hours, minutes, seconds, Tapani Tarvainen, 2021/08/20
- Re: EPOCHREALTIME to days, hours, minutes, seconds, Tapani Tarvainen, 2021/08/20
- Re: EPOCHREALTIME to days, hours, minutes, seconds, Lawrence Velázquez, 2021/08/20
- Re: EPOCHREALTIME to days, hours, minutes, seconds, Greg Wooledge, 2021/08/20
- Re: EPOCHREALTIME to days, hours, minutes, seconds,
Tapani Tarvainen <=
- Re: EPOCHREALTIME to days, hours, minutes, seconds, Emanuele Torre, 2021/08/20
- Re: EPOCHREALTIME to days, hours, minutes, seconds, Emanuele Torre, 2021/08/20
- Re: EPOCHREALTIME to days, hours, minutes, seconds, Lawrence Velázquez, 2021/08/20
- Re: EPOCHREALTIME to days, hours, minutes, seconds, Emanuele Torre, 2021/08/20