mike dupont
commited on
Commit
•
3fdaad4
1
Parent(s):
0ba897f
build
Browse files- build.sh +1 -0
- run_agent.sh +2 -2
- rundocker.sh +1 -1
build.sh
ADDED
|
@@ -0,0 +1 @@
|
|
|
|
|
|
|
| 1 |
+
sudo docker build . -t h4ckermike/lang_agent_streamlit_with_data:meta-coq-utils-data-1-2024-02-12
|
run_agent.sh
CHANGED
|
@@ -1,8 +1,8 @@
|
|
| 1 |
#while true;
|
| 2 |
#do
|
| 3 |
#cd /mnt/data1/2024/01/15/lang_agent/
|
| 4 |
-
|
| 5 |
-
|
| 6 |
-s $1 \
|
| 7 |
-p $5 \
|
| 8 |
"$3" \
|
|
|
|
| 1 |
#while true;
|
| 2 |
#do
|
| 3 |
#cd /mnt/data1/2024/01/15/lang_agent/
|
| 4 |
+
|
| 5 |
+
/lang_agent/_build/default/bin/scanner.exe -- -c .txt -x .test \
|
| 6 |
-s $1 \
|
| 7 |
-p $5 \
|
| 8 |
"$3" \
|
rundocker.sh
CHANGED
|
@@ -1,3 +1,3 @@
|
|
| 1 |
sudo docker kill streamlit
|
| 2 |
sudo docker rm streamlit
|
| 3 |
-
sudo docker run --name streamlit -v /home/mdupont/2024/02/12/streamlit-docker-lang-agent-introspector/:/home/user/app/ -p 8501:8501
|
|
|
|
| 1 |
sudo docker kill streamlit
|
| 2 |
sudo docker rm streamlit
|
| 3 |
+
sudo docker run --name streamlit -v /home/mdupont/2024/02/12/streamlit-docker-lang-agent-introspector/:/home/user/app/ -p 8501:8501 h4ckermike/lang_agent_streamlit_with_data:meta-coq-utils-data-1-2024-02-12
|