Re: Searching inside files in a script

[Greg Wooledge]

On Tue, Oct 12, 2021 at 11:06:43PM +0300, Tapani Tarvainen wrote:
> tim=${EPOCHREALTIME//[![:digit:]]/}
> 
> or, as there're never multiple decimal points,
> 
> tim=${EPOCHREALTIME/[![:digit:]]}
> 
> or is there a locale where there could be thousands separators or
> something like that in $EPOCHREALTIME?

You could just ask them what their locale is, and what one example
output of echo "$EPOCHREALTIME" is on their system.

We can take bets on whether they'll answer honestly.  It'll be fun, I'm
sure!  Seeing whether they have a different locale for each persona....