Попробуйте меню запуска Mint Linux, есть окно поиска и похоже, что оно будет соответствовать вашим потребностям
Существует PPA для nauty, поэтому вы можете просто добавить его и установите его с помощью этих команд на терминале
sudo add-apt-repository ppa:webupd8team/mintmenu && sudo apt-get update
sudo apt-get install mintmenu
Кредиты попали в webupd8.org для поддержания PPA.
Идем дальше и закрываем это, мой шлюз безопасности блокирует apt через управление приложениями и перенаправляет на страницу пользовательской проверки. Как только я позволил, все снова начало работать
Идем дальше и закрываем это, мой шлюз безопасности блокирует apt через управление приложениями и перенаправляет на страницу пользовательской проверки. Как только я позволил, все снова начало работать