awk split integer into several parts -


i have integer 20120305193821 , split several parts 2012-03-05-19:38:21 further usage in awk. can help?

if using gawk, can use fieldwidths:

echo 20120305193821 | gawk '{printf "%s-%s-%s-%s:%s:%s\n",       $1, $2, $3, $4, $5, $6}' fieldwidths="4 2 2 2 2 2" 

Comments

Popular posts from this blog

c# - SVN Error : "svnadmin: E205000: Too many arguments" -

c# - Copy ObservableCollection to another ObservableCollection -

All overlapping substrings matching a java regex -