pip install repos_name -U
cd $HOME ./install_tools.sh -UT source $HOME/devel/activate_tools
Last Update / Ultimo aggiornamento: 2023-11-02
