Sean-Case
commited on
Commit
•
29ce26a
1
Parent(s):
3034296
set Dockerfile Gradio_root_path environmental variable
Browse files- Dockerfile +1 -0
Dockerfile
CHANGED
|
@@ -38,6 +38,7 @@ ENV HOME=/home/user \
|
|
| 38 |
GRADIO_NUM_PORTS=1 \
|
| 39 |
GRADIO_SERVER_NAME=0.0.0.0 \
|
| 40 |
GRADIO_THEME=huggingface \
|
|
|
|
| 41 |
SYSTEM=spaces
|
| 42 |
|
| 43 |
# Set the working directory to the user's home directory
|
|
|
|
| 38 |
GRADIO_NUM_PORTS=1 \
|
| 39 |
GRADIO_SERVER_NAME=0.0.0.0 \
|
| 40 |
GRADIO_THEME=huggingface \
|
| 41 |
+
GRADIO_ROOT_PATH=/data_text_search \
|
| 42 |
SYSTEM=spaces
|
| 43 |
|
| 44 |
# Set the working directory to the user's home directory
|