mike dupont commited on
Commit
c924121
1 Parent(s): 3fdaad4

working local

Browse files
Files changed (4) hide show
  1. app.py +4 -2
  2. build.sh +0 -0
  3. run_agent.sh +1 -1
  4. rundocker.sh +0 -0
app.py CHANGED
@@ -14,8 +14,10 @@ prompt = st.text_input("prompt",value="Consider this text as a creative writing
14
 
15
  source_data = st.selectbox(
16
  'What data source should we read',
17
- ( '/mnt/data1/2024/02/12/meta-coq-common/',
18
- '/data'))
 
 
19
 
20
  st.write('You selected:', source_data)
21
 
 
14
 
15
  source_data = st.selectbox(
16
  'What data source should we read',
17
+ (
18
+ '/data',
19
+ '/mnt/data1/2024/02/12/meta-coq-common/',
20
+ ))
21
 
22
  st.write('You selected:', source_data)
23
 
build.sh CHANGED
File without changes
run_agent.sh CHANGED
@@ -2,7 +2,7 @@
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" \
 
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
File without changes