Depois de brincar um pouco mais, acho que encontrei a solução. Eu precisava adicionar o fuso horário e mudar um pouco a sintaxe:
$ date -d "May 3, 2018 23:33 CDT +5 min" "+%b %d, %Y %H:%M %Z"
May 03, 2018 23:38 CDT
Eu vi que o comando "date" pode fazer manipulação poderosa de timestamps, mas eu não estou conseguindo fazer isso funcionar direito. Alguém pode ajudar a explicar a saída abaixo, e sugerir como eu poderia obter o resultado esperado de "03 de maio de 2018 23:38"
$ date -d "May 3, 2018 23:33 + 5 minutes" "+%b %d, %Y %H:%M"
May 03, 2018 13:34
Depois de brincar um pouco mais, acho que encontrei a solução. Eu precisava adicionar o fuso horário e mudar um pouco a sintaxe:
$ date -d "May 3, 2018 23:33 CDT +5 min" "+%b %d, %Y %H:%M %Z"
May 03, 2018 23:38 CDT
Tags bash date timestamps