Así que quería añadir una marca de tiempo a mi terminal y seguí este respuesta de askUbuntu para hacerlo. Y funciona bien. En las preferencias de mi terminal he establecido que la nueva pestaña abra el directorio de trabajo actual. Sin embargo, después de añadir el PROMPT_COMMAND de exportación en .bash_profile, mi nueva pestaña abre el directorio por defecto. Cuando comento esa línea, vuelve a funcionar normalmente.
¿Por qué ocurre esto? ¿Cómo puedo obtener marcas de tiempo en mi terminal sin estropear la configuración de mi nueva pestaña?