[OT] Awk question

Dan Track dan.track at gmail.com
Wed Aug 20 10:03:58 UTC 2008


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?

Thanks
Dan




More information about the users mailing list