linux - 日期的 Shell 脚本模式

Question

我正在尝试制作一个脚本，要求用户输入日期。此日期应按如下方式键入:DDMMYYHHMM。例如，如果它是 15-12-2018 13:05。应该这样写1512181305。我试图找到正确的模式来只接受这种格式。我在想这样的事情:

#!/bin/bash  
read date 
[[ $date =~ ^[[:digit:]]+$ ]]      || exit 1;

Answer 1

你可以使用类似的东西:

#!/bin/bash
read date
[[ $date =~ ^(0[1-9]|[1-2][0-9]|3[01])(0[1-9]|1[0-2])[0-9][0-9](2[0-3]|[01][0-9])[0-5][0-9]$ ]] || exit 1;

有了这个:

Day could be between 1 and 31 --> (0[1-9]|[1-2][0-9]|3[01])
Month between 1 and 12        --> (0[1-9]|1[0-2])
Year between 0 and 99         --> [0-9][0-9]
Hour between 0 and 23         --> (2[0-3]|[01][0-9])
Minutes between 0 and 59      --> [0-5][0-9]