Проблема с запуском приложения в терминале после обновления Ubuntu до версии 24.04

Всем привет!

Недавно я обновил свою систему Ubuntu с 22.04 до 24.04, и с тех пор у меня возникли проблемы с запуском Verum Dezyne, который является инструментом формального моделирования (по сути, это приложение на Guile). Проблема возникает при запуске приложения в терминале — оно полностью останавливается.

Вот что я ожидаю увидеть при выполнении команд в терминале:

C:\dezyne-2.18.3>ide --version
ide (Verum-Dezyne) 2.18.3

C:\dezyne-2.18.3>ide verify examples/alarm.dzn
verify: iconsole: check: deadlock: ok
verify: iconsole: check: unreachable: ok
verify: iconsole: check: livelock: ok
verify: iconsole: check: deterministic: ok
verify: ipin: check: deadlock: ok
verify: ipin: check: unreachable: ok
verify: ipin: check: livelock: ok
verify: ipin: check: deterministic: ok
verify: isensor: check: deadlock: ok
verify: isensor: check: unreachable: ok
verify: isensor: check: livelock: ok
verify: isensor: check: deterministic: ok
verify: isiren: check: deadlock: ok
verify: isiren: check: unreachable: ok
verify: isiren: check: livelock: ok
verify: isiren: check: deterministic: ok
verify: itimer: check: deadlock: ok
verify: itimer: check: unreachable: ok
verify: itimer: check: livelock: ok
verify: itimer: check: deterministic: ok
verify: alarm: check: deadlock: ok
verify: alarm: check: unreachable: ok
verify: alarm: check: livelock: ok
verify: alarm: check: deterministic: ok
verify: alarm: check: compliance: ok
See result: http://localhost:3000/trace

Но вместо этого я получаю следующее:

karol@karol-lenovo:~/Downloads/verum-dezyne-2.18.3-x86_64-linux/dezyne-2.18.3$ ./ide --version
karol@karol-lenovo:~/Downloads/verum-dezyne-2.18.3-x86_64-linux/dezyne-2.18.3$ ./ide verify examples/alarm.dzn
karol@karol-lenovo:~/Downloads/verum-dezyne-2.18.3-x86_64-linux/dezyne-2.18.3$ sudo ./ide --version
[sudo] password for karol: 
ide: run.c:294: exec_in_user_namespace: Unexpected error: Permission denied.
karol@karol-lenovo:~/Downloads/verum-dezyne-2.18.3-x86_64-linux/dezyne-2.18.3$ sudo ./ide verify examples/alarm.dzn
ide: run.c:294: exec_in_user_namespace: Unexpected error: Permission denied.
karol@karol-lenovo:~/Downloads/verum-dezyne-2.18.3-x86_64-linux/dezyne-2.18.3$

Приложение ничего не делает и сразу же завершает работу.

Дополнительные наблюдения

Программа работает нормально в терминале Bash в VS Code, но проблема возникает в стандартном системном терминале.
Работает в живой сессии Ubuntu 24.04, но прекращает работу после полной установки.
Корректно запускается в контейнере Docker.
Я пробовал несколько раз переустанавливать, но результат остается прежним.

Что я уже пробовал

Запускать приложение как с sudo, так и без него.
Проверять разрешения на файлы приложения.
Повторно переустанавливать/извлекать Verum Dezyne.
Тестировать на разных терминалах (системный терминал и терминал VS Code).
Использовать свежую живую сессию Ubuntu и Docker (оба варианта работают).

Вопрос

Что может вызывать проблему с системным терминалом в Ubuntu 24.04? Есть ли что-то специфическое для приложений Guile или обновления Ubuntu, что может ломать это? Буду очень признателен за любые советы по отладке или решению проблемы!

Ответ или решение

Проблемы с запуском исполняемого файла после обновления Ubuntu до версии 24.04

Здравствуйте!

Если Вы столкнулись с проблемами запуска Verum Dezyne на Ubuntu версии 24.04 после обновления, то данная ситуация требует детального анализа. Исходя из представленной информации, проблема может скрываться в нескольких аспектах системы. Давайте рассмотрим основные возможные причины и шаги для их устранения.

Возможные причины и решения

Системные изменения в Ubuntu 24.04
Поскольку Verum Dezyne является Guile-приложением, возможны изменения в библиотеке или окружении, которые могли повлиять на его работу. Проверьте следующие аспекты:
- Обновление зависимостей: Убедитесь, что все зависимости, необходимые для работы приложения, обновлены до последних версий. Команда sudo apt update && sudo apt upgrade может помочь в этом вопросе.
- Совместимость версий: Определите совместимость Guile и остального стека программного обеспечения с новой версией Ubuntu. Может потребоваться специфическая настройка окружения.
Различия в терминалах
Вы заметили, что приложение работает в терминале VS Code и в Docker-контейнере, но не в системном терминале. Это указывает на возможные различия в конфигурации системного терминала:
- Переменные окружения: Проверьте, какие переменные окружения доступны в разных терминалах. В случае необходимости, настройте переменные глобально для системного терминала, добавив их в .bashrc или .zshrc.
- Настройки Shell: Параметры терминала или shell (например, настройки безопасности) могут блокировать некоторые операции. Изучите настройки терминала и сравните с работающей конфигурацией в VS Code.
Разрешения и доступ
Ошибка, связанная с Permission denied, указывает на потенциальные проблемы с правами доступа:
- Права на файлы: Проверьте, что исполняемый файл и все его зависимости имеют правильные права. Используйте команду chmod и chown для изменения прав доступа.
- Использование привилегий: Попробуйте запускать программу как системный администратор, используя sudo. Но помните, что злоупотребление root-правами может создавать дополнительные риски.
Основная настройка системы
Поскольку приложение успешно работает в live-сессии Ubuntu, проблема может происходить из системных настроек, установленных после обновления:
- Репозитории и пакеты: Проверьте, все ли актуальные репозитории добавлены в систему, и нет ли конфликтующих пакетов.
- Аудит системных логов: Обратите внимание на логи системы (/var/log) после неудачного запуска, чтобы выявить потенциальные причины проблемы.

Заключение и рекомендации

Таким образом, проблема, скорее всего, связана с конфигурацией или системной установкой, сочетанием зависимостей и разрешений после обновления. Рекомендуется:

Провести аудит системы и зависимостей.
Экспериментировать с конфигурацией среды.
Обратиться в поддержку Verum Dezyne для конкретных рекомендаций по настройке их инструментария на Ubuntu 24.04.

Помните, что количественный вектор решений может варьироваться. Вполне возможно, придется несколько раз адаптировать рекомендации под ваши специфические условия. Удачи вам в решении этой задачи и ждем дальнейших известий о вашем успехе!

Ubuntu 24.04 не запускает исполняемый файл в терминале.

Вопрос или проблема