Temporizador de contagem regressiva da linha de comando bash do OSX

eu encontrei Aqui no superusuário o seguinte script de contagem regressiva que eu poderia incluir no meu .bash_profile:

function countdown(){  
   date1=$((`date +%s` + $1));   
   while [ "$date1" -ne `date +%s` ]; do   
     echo -ne "$(date -u --date @$(($date1 - `date +%s`)) +%H:%M:%S)\r";  
     sleep 0.1  
  done  
}

Não funciona no OSX, eu entendo, por causa das diferenças no date comando. Outro usuário comentou como tal, mas o problema permaneceu não resolvido nessa questão.

O mesmo problema (eu acho) também é discutido e resolvido Aqui mas não consigo descobrir como modificar o script de contagem regressiva para utilizar essa solução.

Pessoalmente, eu refatorei isso um pouco para a legibilidade (ainda confiando na data do GNU)

function countdown(){  
    local now=$(date +%s)
    local end=$((now + $1))
    while (( now < end )); do   
        printf "%s\r" "$(date -u -d @$((end - now)) +%T)"  
        sleep 0.25  
        now=$(date +%s)
    done  
    echo
}

Mapeamento das chamadas de data para a data do BSD do OSX ( página do homem aqui )

Parece a invocação da data do GNU

date -u -d @$((end - now)) +%T

traduz a esta invocação de data BSD

date -u -j -f %s $((end - now)) +%T

mas isso não foi testado.