質問をすることでしか得られない、回答やアドバイスがある。

15分調べてもわからないことは、質問しよう!

新規登録して質問してみよう
ただいま回答率
85.50%
Python 3.x

Python 3はPythonプログラミング言語の最新バージョンであり、2008年12月3日にリリースされました。

Ubuntu

Ubuntuは、Debian GNU/Linuxを基盤としたフリーのオペレーティングシステムです。

Python

Pythonは、コードの読みやすさが特徴的なプログラミング言語の1つです。 強い型付け、動的型付けに対応しており、後方互換性がないバージョン2系とバージョン3系が使用されています。 商用製品の開発にも無料で使用でき、OSだけでなく仮想環境にも対応。Unicodeによる文字列操作をサポートしているため、日本語処理も標準で可能です。

proxy

proxy(プロキシー)は、企業などの内部コンピュータとインターネットの中間に位置し、例えば直接インターネットに接続できない内部コンピュータの代理としてインターネットに接続する等をするシステム、もしくは代理として機能を実行するソフトウェアです。内部ネットワークへのアクセスを一元管理し、内部からの特定の種類の接続以外を遮断すること、外部からの不正アクセスを拒否することなどに用いられます。

Q&A

1回答

5803閲覧

pyenvでインストールできない

Mgr_Factory

総合スコア4

Python 3.x

Python 3はPythonプログラミング言語の最新バージョンであり、2008年12月3日にリリースされました。

Ubuntu

Ubuntuは、Debian GNU/Linuxを基盤としたフリーのオペレーティングシステムです。

Python

Pythonは、コードの読みやすさが特徴的なプログラミング言語の1つです。 強い型付け、動的型付けに対応しており、後方互換性がないバージョン2系とバージョン3系が使用されています。 商用製品の開発にも無料で使用でき、OSだけでなく仮想環境にも対応。Unicodeによる文字列操作をサポートしているため、日本語処理も標準で可能です。

proxy

proxy(プロキシー)は、企業などの内部コンピュータとインターネットの中間に位置し、例えば直接インターネットに接続できない内部コンピュータの代理としてインターネットに接続する等をするシステム、もしくは代理として機能を実行するソフトウェアです。内部ネットワークへのアクセスを一元管理し、内部からの特定の種類の接続以外を遮断すること、外部からの不正アクセスを拒否することなどに用いられます。

0グッド

0クリップ

投稿2019/11/01 06:06

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

解決方法を是非教えてください

気になる質問をクリップする

クリップした質問は、後からいつでもMYページで確認できます。

またクリップした質問に回答があった際、通知やメールを受け取ることができます。

バッドをするには、ログインかつ

こちらの条件を満たす必要があります。

guest

回答1

0

原因がproxyなのであれば、あてずっぽうですけど、
$ https_proxy=http://svm-proxy02.edu.metro-cit.ac.jp:15080 pyenv install 3.8.0
のように、そのコマンドに明示的に環境変数を与えてみてはいかがでしょうか。

設定スクリプト中でhttp:// なのか https:// なのかでバラツキがあるようなので、なにが正解かよくわからないですね。環境にあわせていろいろやってみるか、TAに再確認するとかして。

投稿2019/11/01 07:59

matobaa

総合スコア2493

バッドをするには、ログインかつ

こちらの条件を満たす必要があります。

あなたの回答

tips

太字

斜体

打ち消し線

見出し

引用テキストの挿入

コードの挿入

リンクの挿入

リストの挿入

番号リストの挿入

表の挿入

水平線の挿入

プレビュー

まだベストアンサーが選ばれていません

会員登録して回答してみよう

アカウントをお持ちの方は

15分調べてもわからないことは
teratailで質問しよう!

ただいまの回答率
85.50%

質問をまとめることで
思考を整理して素早く解決

テンプレート機能で
簡単に質問をまとめる

質問する

関連した質問