Проблема решена!#! /bin/bash
<код>
export use_proxy="on"
export http_proxy="${PROXY_IP}:${PROXY_PORT}"
export https_proxy="${PROXY_IP}:${PROXY_PORT}"
export ftp_proxy="${PROXY_IP}:${PROXY_PORT}"
export RESULT=`wget --output-file=/dev/stdout --output-document=/dev/stdout "https://mysite.com"`
<далее тоже код>
В общем, оказался целый комплекс проблем. Во-первых, не надо указывать протокол. Нужно указать просто IP-адрес и порт:
http_proxy=93.63.71.211:8080.
Во-вторых, трафик по https пускается через проксю только если установлена переменная https_proxy.
Смысл переменной use_proxy пока не понял. Пробовал комментировать её. По прежнему работает. А может просто что-то недоглядел. В общем, на счёт неё ничего сказать не могу.
Я пробовал в скрипте прописывать как указано выше, пробовал прописывать в "${HOME}/.wgetrc". Всё работает отлично в обоих вариантах! Трафик идёт через прокси. Так что проблема уже решена!
Переменные http_proxy и ftp_proxy, как я понимаю, не нужны.
Всем спасибо за ответы!
Если кому есть что добавить - пишите.