Да, обновления графического интерфейса иногда могут не удаваться по разным причинам, и следующим типичным шагом является пересборка через командную строку. По моему опыту, это всегда помогает решить проблему.
(И sudo в этих командах предполагает, что вы не вошли в систему как пользователь root.)
Пишу это для посетителей, которые прочитают эту тему после столкновения с проблемами обновления GUI:
Верно, сейчас это кажется более надёжным, но у меня в прошлом было достаточно проблем с этим, чтобы часто предпочитать использование командной строки, даже если это менее удобно.
Если обновление через интерфейс не сработало, команда ./launcher rebuild app в командной строке, скорее всего, исправит проблему, и нет причин полагать, что это приведёт к потере данных. Это безопасно.