Script de horas

[vinicius_noyama]

Andei aprendendo um pouco sobre shell script nos ultimos tempos, vi um exemplo 
no livro Programação Shell Linux que não consigo rodar nem a pau aqui. O dito 
cujo:

Hora=13:23
 if [[ $Hora =~ '([01][0-9]|2[0-3]):[0-5][0-9]' ]]
 then 
   echo Horario OK
 else 
   echo O horario informado esta incorreto
 fi

Ele aceita a variável, mas de acordo com o livro era pra dar a primeira 
mensagem, mas só está dando a segunda
alguém consegue dar uma luz ? 

Grato