как обновить jdk?

Я все еще думаю, что этот ответ является лучшим решением для вашей проблемы. Если вы настаиваете на смене системного прокси для своей цели, вы можете использовать сценарий оболочки, указанный ниже. И вы хотите это на единстве или гноме в соответствии с вашим вопросом.

#!/bin/bash
if [ $# -lt 1 ]
then
    echo "$0: missing operand"
    echo "Usage $0 [option]"
    echo "options : [default|restricted]"
    exit 0
fi
case "$1" in
    default)
        gsettings set org.gnome.system.proxy mode 'manual'
        gsettings set org.gnome.system.proxy.http enabled true
        gsettings set org.gnome.system.proxy.http host 'proxy.server.addr_1'
        gsettings set org.gnome.system.proxy.http port proxy_port_1
        gsettings set org.gnome.system.proxy.http authentication-user 'user_id'
        gsettings set org.gnome.system.proxy.http authentication-password 'password'
        gsettings set org.gnome.system.proxy use-same-proxy true
        gsettings set org.gnome.system.proxy ignore-hosts ['localhost',  '127.0.0.1', 'all', 'other', 'hosts']
        ;;
    restricted)
        gsettings set org.gnome.system.proxy mode 'manual'
        gsettings set org.gnome.system.proxy.http enabled true
        gsettings set org.gnome.system.proxy.http host 'proxy.server.addr_2'
        gsettings set org.gnome.system.proxy.http port proxy_port_2
        gsettings set org.gnome.system.proxy.http authentication-user 'user_id'
        gsettings set org.gnome.system.proxy.http authentication-password 'password'
        gsettings set org.gnome.system.proxy use-same-proxy true
        gsettings set org.gnome.system.proxy ignore-hosts ['localhost',  '127.0.0.1', 'all', 'other', 'hosts']
        ;;
    * ) 
        echo "$0: invalid option"
        ;;
esac

Вам нужно определить два набора proxy.server.addr, proxy_port, user_id, password и ignored hosts в над двумя разделами для вашего dafault и tor созданного прокси соответственно.

Если вы не хотите, чтобы какая-либо часть просто удаляла эту строку или изменяла параметры в соответствии с вашими потребностями. Например, если у вас нет user_id и password для прокси-сервера, удалите эти строки при копировании сценария. Вероятно, tor не предоставляет имя пользователя и пароль.

Использование

сохраняет сценарий как switch_proxy.sh. Дайте ему разрешение на выполнение.

chmod +x /path/to/switch_proxy.sh

Чтобы использовать вашу прокси-систему по умолчанию,

/path/to/switch_proxy.sh default

Чтобы использовать вашу измененную прокси-систему в широком диапазоне,

/path/to/switch_proxy.sh restricted