Спасибо за помощь!
Вот еще один метод работы, обнаруженный моим коллегой, который помещает текст «[TIMESTAMP]» вместо уникальной метки времени:
s/[A-Za-z]\{3\}.[A-Za-z]\{3\}.[0-9]\{1,\}.[0-9]\{1,\}.[0-9]\{1,\}.[0-9]\{1,\}.[0-9]\{1,\}/[TIMESTAMP]/g
Тест в консоли bash:
echo "Log file dated Thu Apr 11 13:19:02 2019 have been imported." | sed 's/[A-Za-z]\{3\}.[A-Za-z]\{3\}.[0-9]\{1,\}.[0-9]\{1,\}.[0-9]\{1,\}.[0-9]\{1,\}.[0-9]\{1,\}/[TIMESTAMP]/g'
Input text: "Log file dated Thu Apr 11 13:19:02 2019 have been imported."
Output text: "Log file dated [TIMESTAMP] have been imported."