write <time command> to file so bash can run it