
$HOME/.local/bin
Ubuntu 18.04 ではデフォルトで PATH に追加されましたか? 追加されたかどうかは覚えていませんが、19.04 を新規インストールしたところ、確かに追加されていませんでした。
私が質問する理由は、pip install --user
Python 実行可能ファイルを追加する$HOME/.local/bin
と、追加の構成なしでは動作しなくなるためです。
ファイルをいじり始める前に、何か設定手順を見逃していないか知りたかったのです.bashrc
。
答え1
ああ、何が起こっているのか分かりました。は$HOME/.profile
は、存在する場合はパスに追加されますが、新規インストールでは存在しません。pip
は、パッケージをインストールするときにこれを作成しますが、 は再ロードされるPATH
まで変更されません。$HOME/.profile
したがって、修正方法は、pip
パッケージを初めてインストールした後、
source ~/.profile
、 または- ログアウトして再度ログインしてください。