Наконец-то нашел ответ. Кажется, мне нужно сделать:
git config --global http.proxy http://<my_proxy>:<my_port>
git config --global https.proxy https://<my_proxy>:<my_port>
Потратил немного времени на это, но, к счастью, это сработало. Я думал, что это будет трудно исправить, но оказалось, что некоторые команды, которые я никогда не выполнял ранее в Ubuntu 16.04.