Ok, como alterar o TZ env para date
parece chamar a hora atual correta no Ubuntu, isso é pelo menos uma solução alternativa (aquela na qual eu estava tentando não confiar):
SHELL=/bin/bash
0 14 * * 1-5 [ $[10#$(date +\%H) - 10#$(TZ=":US/Eastern" date +\%H)] == 5 ] || sleep 3600; w;df
Portanto, o objetivo é executar w;df
às 9h ET de segunda a sexta. Em vez da hora 15, coloquei 14 com a possibilidade de dormir uma hora (3600 segundos) antes de executar outros comandos.