Я пытаюсь создать скрипт, который просит пользователя ввести дату.Эта дата должна быть напечатана так: DDMMYYHHMM
.Например, если это 15-12-2018 13:05
.Это должно быть написано так 1512181305
.Я пытаюсь найти правильный шаблон, чтобы принять только такой формат.Я думал что-то вроде этого:
#!/bin/bash
read date
[[ $date =~ ^[[:digit:]]+$ ]] || exit 1;