some maintenance notes:
Whenever the repository is updated, the following steps are necessary to see the changes on the website:
- pull the most recent changes
- kill the current instance
- restart the streamlit app
The following commands are helpful in this regard.
Find a process by name
one of these should do the trick.
ps -fC streamlit
ps -Af | grep streamlit
Kill a proccess by PID
kill <PID>
start a process in background and let it run forever
nohup <YOUR_LONG_RUNNING_PROCESS> &