pythonを使ってデータ処理をしたかったので,下記のページの通りに行っていました.
wsl+ubuntu+python+djangoの開発環境を構築する
途中までは行えたのですが,次のように詰まってしまいました.
$ pyenv install 3.8.0 Downloading Python-3.8.0.tar.xz... -> https://www.python.org/ftp/python/3.8.0/Python-3.8.0.tar.xz error: failed to download Python-3.8.0.tar.xz BUILD FAILED (Ubuntu 18.04 using python-build 1.2.14-11-gb5f69fe5)
Proxy環境下なので,原因はそこであるような気もしているのですが,pyenvのproxy設定を記述している情報が見つからずの状態です.
一応,次のようなSHELLスクリプトを組んでProxyは設定しており,加えてgitもproxy設定は済んでいます.
shelll
1 2#!/bin/sh 3 4HTTP_PROXY_HOST=svm-proxy02.edu.metro-cit.ac.jp 5HTTP_PROXY_PORT=15080 6HTTPS_PROXY_HOST=svm-proxy02.edu.metro-cit.ac.jp 7HTTPS_PROXY_PORT=15080 8 9shellrc=$HOME/.zshrc # .bashrc 10 11if [ $# = 0 ]; then 12 echo "Error: no args" 13 exit 1 14else 15 if [ $1 = "on" ]; then 16 sudo sed -i.bak '/http[s]::proxy/Id' /etc/apt/apt.conf 17 sudo sed -i.bak '/ftp::proxy/Id' /etc/apt/apt.conf 18 git config --global http.proxy "http://$HTTP_PROXY_HOST:$HTTP_PROXY_PORT" 19 sudo tee -a /etc/apt/apt.conf <<EOF 20Acquire::ftp::proxy "ftp://$HTTP_PROXY_HOST:$HTTP_PROXY_PORT/"; 21Acquire::http::proxy "http://$HTTP_PROXY_HOST:$HTTP_PROXY_PORT/"; 22Acquire::https::proxy "https://$HTTPS_PROXY_HOST:$HTTPS_PROXY_PORT/"; 23EOF 24 25 sudo sed -i.bak "/all_proxy/Id" /etc/environment 26 sudo sed -i.bak "/ALL_PROXY/Id" /etc/environment 27 sudo sed -i.bak "/http_proxy/Id" /etc/environment 28 sudo sed -i.bak "/HTTP_PROXY/Id" /etc/environment 29 sudo sed -i.bak "/https_proxy/Id" /etc/environment 30 sudo sed -i.bak "/HTTPS_PROXY/Id" /etc/environment 31 sudo sed -i.bak "/ftp_proxy/Id" /etc/environment 32 sudo sed -i.bak "/FTP_PROXY/Id" /etc/environment 33sudo tee -a /etc/environment <<EOF 34all_proxy="socks://$HTTP_PROXY_HOST:$HTTPS_PROXY_PORT/" 35ALL_PROXY="socks://$HTTP_PROXY_HOST:$HTTPS_PROXY_PORT/" 36http_proxy="http://$HTTP_PROXY_HOST:$HTTP_PROXY_PORT" 37HTTP_PROXY="http://$HTTP_PROXY_HOST:$HTTP_PROXY_PORT" 38https_proxy="http://$HTTPS_PROXY_HOST:$HTTPS_PROXY_PORT" 39HTTPS_PROXY="http://$HTTPS_PROXY_HOST:$HTTPS_PROXY_PORT" 40ftp_proxy="ftp://$HTTP_PROXY_HOST:$HTTPS_PROXY_PORT" 41FTP_PROXY="ftp://$HTTP_PROXY_HOST:$HTTPS_PROXY_PORT" 42EOF 43 sed -i.bak '/all_proxy/Id' $shellrc 44 sed -i.bak '/ALL_PROXY/Id' $shellrc 45 sed -i.bak '/http_proxy/Id' $shellrc 46 sed -i.bak '/HTTP_PROXY/Id' $shellrc 47 sed -i.bak '/https_proxy/Id' $shellrc 48 sed -i.bak '/HTTPS_PROXY/Id' $shellrc 49 sed -i.bak '/ftp_proxy/Id' $shellrc 50 sed -i.bak '/FTP_PROXY/Id' $shellrc 51tee -a $shellrc <<EOF 52export all_proxy="socks://$HTTP_PROXY_HOST:$HTTPS_PROXY_PORT/" 53export ALL_PROXY="socks://$HTTP_PROXY_HOST:$HTTPS_PROXY_PORT/" 54export http_proxy="http://$HTTP_PROXY_HOST:$HTTP_PROXY_PORT" 55export HTTP_PROXY="http://$HTTP_PROXY_HOST:$HTTP_PROXY_PORT" 56export https_proxy="http://$HTTPS_PROXY_HOST:$HTTPS_PROXY_PORT" 57export HTTPS_PROXY="http://$HTTPS_PROXY_HOST:$HTTPS_PROXY_PORT" 58export ftp_proxy="ftp://$HTTP_PROXY_HOST:$HTTPS_PROXY_PORT" 59export FTP_PROXY="ftp://$HTTP_PROXY_HOST:$HTTPS_PROXY_PORT" 60EOF 61 else 62 if [ $1 = "off" ]; then 63 git config --global http.proxy '' 64 sudo sed -i.bak "/http::proxy/Id" /etc/apt/apt.conf 65 sudo sed -i.bak "/https::proxy/Id" /etc/apt/apt.conf 66 sudo sed -i.bak "/ftp::proxy/Id" /etc/apt/apt.conf 67 sudo sed -i.bak "/all_proxy/Id" /etc/environment 68 sudo sed -i.bak "/ALL_PROXY/Id" /etc/environment 69 sudo sed -i.bak "/http_proxy/Id" /etc/environment 70 sudo sed -i.bak "/HTTP_PROXY/Id" /etc/environment 71 sudo sed -i.bak "/https_proxy/Id" /etc/environment 72 sudo sed -i.bak "/HTTPS_PROXY/Id" /etc/environment 73 sudo sed -i.bak "/ftp_proxy/Id" /etc/environment 74 sudo sed -i.bak "/FTP_PROXY/Id" /etc/environment 75 sed -i.bak '/all_proxy/Id' $shellrc 76 sed -i.bak '/ALL_PROXY/Id' $shellrc 77 sed -i.bak '/http_proxy/Id' $shellrc 78 sed -i.bak '/HTTP_PROXY/Id' $shellrc 79 sed -i.bak '/https_proxy/Id' $shellrc 80 sed -i.bak '/HTTPS_PROXY/Id' $shellrc 81 sed -i.bak '/ftp_proxy/Id' $shellrc 82 sed -i.bak '/FTP_PROXY/Id' $shellrc 83tee -a $shellrc <<EOF 84export all_proxy= 85export ALL_PROXY= 86export http_proxy= 87export HTTP_PROXY= 88export https_proxy= 89export HTTPS_PROXY= 90export ftp_proxy= 91export FTP_PROXY= 92EOF 93 else 94 echo "arg: 'on' or 'off'" 95 exit 1 96 fi 97 fi 98fi 99exit 0 100 101
解決方法を是非教えてください
バッドをするには、ログインかつ
こちらの条件を満たす必要があります。