ControlScripts: use $a + 0 in awk to extract numeric part from a string
authorRazvan Deaconescu <razvan.deaconescu@cs.pub.ro>
Fri, 30 Jul 2010 14:24:22 +0000 (17:24 +0300)
committerRazvan Deaconescu <razvan.deaconescu@cs.pub.ro>
Fri, 30 Jul 2010 14:24:22 +0000 (17:24 +0300)
commitb6e23683ad4655cf58fd7f8b770b1eb5928f3088
tree60fdb6d1c801c9e41807486d922f235ddf1d1881
parentf756e1b8400232a2f30115f83f92e25ce301aee8
ControlScripts: use $a + 0 in awk to extract numeric part from a string
ControlScripts/parse_hrk.sh