Я думаю, что всегда лучше (и проще) устанавливать из основных репозиториев в качестве первого варианта, если у вас нет особых требований.
Пакет, который вы ищете, называется redis-server. Вы можете проверить его информацию о пакете с помощью apt show redis-server.
Также вы можете искать все пакеты с упоминанием redis с помощью apt search redis или даже выполнять некоторую простую фильтрацию с помощью grep, использовать apt search redis | grep php для поиска [ f6] или связанные пакеты (ы), например.
Итак, вы можете просто запустить: sudo apt install redis-server на своем терминале, чтобы установить полностью рабочую среду redis (сервер).Если у вас есть какие-то особые требования, вы всегда можете построить из источника и установить, как @George опубликовал его ответ.
Надеюсь, что это поможет.
Здесь есть обходной путь: https://bugs.launchpad.net/ubuntu/+source/vim/+bug/776499
Создайте псевдоним в верхней части вашего файла инициализации оболочки (например, ~ / .bashrc):
alias gvim="UBUNTU_MENUPROXY=0 gvim"
Я могу добавить опцию -f
(--nofork
) при запуске gvim
:
alias gvim="gvim -f"
Это работает только для gvim
. firefox
и другие не имеют этой опции -f
.
Моя Ubuntu 12.04 amd64 может работать с gvim -f
.