时间戳转为格式化时间

1，shell里面的date就具备这个功能：

参考了

> date -d '1970-01-01 UTC 946684800 seconds' +"%Y-%m-%d %T"
2000-01-01 08:00:00

2，考虑到如果转换的量很大，上面这样用shell脚本，然后一个个调用date效率是比较低的。还可以用awk来做：strftime，该函数与c里面的strftime的格式应该是一样的

awk '{ print strftime("%Y-%m-%d %T",$1) }' data   #假设data中第一列就是日期