| sudo docker kill streamlit | |
| sudo docker rm streamlit | |
| # example for mounting source -v /home/mdupont/2024/02/12/streamlit-docker-lang-agent-introspector/:/home/user/app/ | |
| sudo docker run --name streamlit -p 8501:8501 h4ckermike/lang_agent_streamlit_with_data:meta-coq-utils-data-1-2024-02-12 | |