我已经创建了一个带有时间选项参数的z脚本。(例如:--时间00:03:30)。我希望用户能够以HH:MM:SS以外的格式输入时间。我的脚本已经可以将HH:MM:SS转换为秒(这是最终结果所需要的),但是HH:MM:SS格式很笨拙。因此,我创建了一个函数,将另一种格式(#h#m#s)转换为原始格式:
if [ "$(echo &q
在数据导出之后,我得到了一个字符串变量"2017/02/22 1320:35 +000 4“。我设法在一个单独的变量中获取日期。string time (A8).
compute time = char.substr(Timestamp_2,#TS+1,7).暂时不起作用,因为它是'hhmm:ss‘格式。如何将字符串变量'1320:35‘更改为时间变量'13:20:35'?