Как удалить HHMMSS из имени файла в Linux / Unix? [дубликат]

У меня есть имя файла mahelipaul_YYYYMMDDHHMMSS, мне нужно удалить часть HHMMSS из файла и назначить ее новой переменной.

Мне нужен файл под именем mahelipaul_YYYYMMDD. Как мне это сделать?