Я нашел здесь в superuser следующий хороший скрипт обратного отсчета, который я мог бы включить в мой .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
}
Я понимаю, что он не работает на OSX из-за различий в команде date
. Другой пользователь прокомментировал как таковой, но проблема осталась нерешенной в этом вопросе.
Та же проблема (я думаю) также обсуждается и решается здесь, но я не могу понять, как изменить скрипт обратного отсчета, чтобы использовать это решение.