Zsh Mailing List Archive Messages sorted by: Reverse Date, Date, Thread, Author

Re: How to do thousands grouping in zsh?

X-seq: zsh-users 19053
From: Peter Stephenson <p.stephenson@xxxxxxxxxxx>
To: zsh-users@xxxxxxx
Subject: Re: How to do thousands grouping in zsh?
Date: Thu, 04 Sep 2014 10:44:19 +0100
In-reply-to: <20140904085223.GA3814@localhost.localdomain>
List-help: <mailto:zsh-users-help@zsh.org>
List-id: Zsh Users List <zsh-users.zsh.org>
List-post: <mailto:zsh-users@zsh.org>
Mailing-list: contact zsh-users-help@xxxxxxx; run by ezmlm
Organization: Samsung Cambridge Solution Centre
References: <20140904085223.GA3814@localhost.localdomain>

On Thu, 04 Sep 2014 16:52:23 +0800
Han Pingtian <hanpt@xxxxxxxxxxxxxxxxxx> wrote:
> Is there any other method?

From 5.0.6, just released.

print $(( [#_3] 299792458 ))

299_792_458

It's always "_" because it's in the same format that's understood on
input.  You could postprocess it

print ${$(( [#_3] 299792458 ))//_/,}

pws

References:
- How to do thousands grouping in zsh?
  - From: Han Pingtian

Messages sorted by: Reverse Date, Date, Thread, Author