Spaces:
Runtime error
Runtime error
Rob McKnight commited on
Commit ·
854da36
1
Parent(s): fc6990e
user?
Browse files- Dockerfile +6 -5
Dockerfile
CHANGED
|
@@ -29,11 +29,6 @@ ENV XDG_CONFIG_HOME=/home/user/.config
|
|
| 29 |
ENV MARIMO_CONFIG_DIR=/home/user/.marimo
|
| 30 |
ENV RUST_LOG=debug
|
| 31 |
|
| 32 |
-
# Clone trieve as user
|
| 33 |
-
USER user
|
| 34 |
-
RUN git clone https://github.com/devflowinc/trieve /mnt/workspace && \
|
| 35 |
-
cd /mnt/workspace && \
|
| 36 |
-
git checkout e65889a13715e8833e7cccfe0168b57c1fc966cc
|
| 37 |
|
| 38 |
# Switch back to root for remaining setup
|
| 39 |
USER root
|
|
@@ -50,5 +45,11 @@ RUN chmod +x /start.sh
|
|
| 50 |
|
| 51 |
EXPOSE 7860
|
| 52 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 53 |
# Start both processes using the script
|
| 54 |
CMD ["/start.sh"]
|
|
|
|
| 29 |
ENV MARIMO_CONFIG_DIR=/home/user/.marimo
|
| 30 |
ENV RUST_LOG=debug
|
| 31 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 32 |
|
| 33 |
# Switch back to root for remaining setup
|
| 34 |
USER root
|
|
|
|
| 45 |
|
| 46 |
EXPOSE 7860
|
| 47 |
|
| 48 |
+
# Clone trieve as user
|
| 49 |
+
USER user
|
| 50 |
+
RUN git clone https://github.com/devflowinc/trieve /mnt/workspace && \
|
| 51 |
+
cd /mnt/workspace && \
|
| 52 |
+
git checkout e65889a13715e8833e7cccfe0168b57c1fc966cc
|
| 53 |
+
|
| 54 |
# Start both processes using the script
|
| 55 |
CMD ["/start.sh"]
|