Восстановление работоспособности сочетания клавиш Shift+Ctrl+Key.txt

linux-mint-Восстановление работоспособности сочетания клавиш Shift+Ctrl+Key.txt

==> https://kubuntu.ru/node/11104
==> https://forums.linuxmint.com/viewtopic.php?t=274109

На работе корпоративный интернет ходит через прокси, apt настроен и отлично работает, но add-apt-repository наотрез отказывается ходить через прокси, не помогает не экспорт, не конфигурирование файла apt:

1. Редактируем файл /etc/sudoers (лучше использовать команду 'sudo visudo', чтобы синтаксис проверялся автоматически).
2. После строки "Defaults env_reset" добавим строку:
    Defaults env_keep = "HOME USER PATH http_proxy https_proxy"
3. В консоли, где будем запускать "sudo add-apt-repository ..." прописываем две переменных для прокси (http_proxy и https_proxy):
    export http_proxy="http://username:userpass@proxy.domain.ru:8080"
    export https_proxy="http://username:userpass@proxy.domain.ru:8080"
    где
    username - имя пользователя для авторизации на прокси;
    userpass - пароль этого пользователя;
    proxy.domain.ru - адрес (или IP) прокси;
    8080 - порт прокси (у вас может быть другой порт).

    После этого репозитории отлично добавляются, и не приходится ручками править source.list и добавлять ключи (конечно же только в случае с ppa).
4. 
    sudo add-apt-repository ppa:nrbrtx/xorg-hotkeys
    sudo apt-get update
    sudo apt-get dist-upgrade
5. Перезагружаем систему