# Note: depends on python-wcwidth
# Note: depends on Python
wget -c https://files.pythonhosted.org/packages/d4/12/7fe77b49d67845a378cfadb484b64218ed09d0e8bf420c663b4fe28f0631/prompt_toolkit-3.0.8.tar.gz
tar -xzf prompt_toolkit-3.0.8.tar.gz
cd prompt_toolkit-3.0.8
python3 setup.py build
python3 setup.py install # as root