[OT] Awk question
Patrick O'Callaghan
pocallaghan at gmail.com
Wed Aug 20 13:20:03 UTC 2008
On Wed, 2008-08-20 at 11:03 +0100, Dan Track wrote:
> Guys,
>
> Just wondering if you could lend me a little hand. Basically I want to
> rename a file from log.1 log.2 etc to log.10.36.34. The time stamp
> (ignore the date) should be the last written time, so far I've got to
> this stage:
>
> stat log | sed -n '/Modify:/p' | awk -F ' ' '{print $3}'
>
> so I get :
> 11:01:09.000000000
>
> How can I get rid of the leading 0'swithout having to pipe the output
> to anotehr awk statement, is it possible to do this withing the
> current awk statement?
Use printf instead of print.
poc
More information about the fedora-list
mailing list