python の開発環境は pipenv を使っているのですが、Linux Mint の標準リポジトリに入って…