В Zsh вы можете получить что-то подобное с Zsh Navigation Tools;
После установки, нажав CTRL + R, вы получите этот GUI:
Ввод частичной команды приведет к сжатию списка:
Нажатие CTRL и ↓ позволит просканировать сжатый (! d12)
Hittin ↓ запишет выбранную команду в приглашение:
Вы можете установить Zsh Navigation Tools, выполнив эту команду (она будет копировать ваш текущий ~/.zshrc в ~/.zshrc.bak, если он есть):
cp ~/.zshrc ~/.zshrc.bak; sh -c "$(curl -fsSL https://raw.githubusercontent.com/psprint/zsh-navigation-tools/master/doc/install.sh)"
Инструменты навигации Zsh будут установлены на ~/.config/znt/zsh-navigation-tools, и его файлы конфигурации будут установлены на ~/.config/znt.
Оказывается, это была проблема в сетевом бэкэнде нашего колледжа. Проблемы по-прежнему существуют, другие сети WiFi работают нормально.
Оказывается, это была проблема в сетевом бэкэнде нашего колледжа. Проблемы по-прежнему существуют, другие сети WiFi работают нормально.
, когда вы это выпустили, сначала убедитесь, что DNS может разрешить ссылки, которые, по моему мнению, являются проблемой.
sudo vim /etc/resolv.conf
убедитесь, что вы используете google dns:
nameserver 8.8.8.8
как первый сервер имен для проверки. перезапустите networking.service, и вам будет хорошо идти
У меня была такая же проблема. Оказывается, apt-get использует /etc/apt/apt.conf для настроек прокси-сервера (настройки моего браузера уже установлены). Создание apt.conf в соответствии с настройками моего прокси-сервера разрешило проблему.
/etc/apt$ cat apt.conf
Acquire::http::proxy "http://<proxy>";
Acquire::https::proxy "https://<proxy>";
Acquire::ftp::proxy "ftp://<proxy>";
Acquire::socks::proxy "socks:<proxy>";
, когда вы это выпустили, сначала убедитесь, что DNS может разрешить ссылки, которые, по моему мнению, являются проблемой.
sudo vim /etc/resolv.conf
убедитесь, что вы используете google dns:
nameserver 8.8.8.8
как первый сервер имен для проверки. перезапустите networking.service, и вам будет хорошо идти
У меня была такая же проблема. Оказывается, apt-get использует /etc/apt/apt.conf для настроек прокси-сервера (настройки моего браузера уже установлены). Создание apt.conf в соответствии с настройками моего прокси-сервера разрешило проблему.
/etc/apt$ cat apt.conf
Acquire::http::proxy "http://<proxy>";
Acquire::https::proxy "https://<proxy>";
Acquire::ftp::proxy "ftp://<proxy>";
Acquire::socks::proxy "socks:<proxy>";