Spaces:
Running
Running
Update Dockerfile
Browse files- Dockerfile +0 -7
Dockerfile
CHANGED
@@ -15,13 +15,6 @@ WORKDIR $HOME/app
|
|
15 |
# Create github_repo directory and ensure it's owned by `user`
|
16 |
RUN mkdir -p $HOME/app/github_repo
|
17 |
|
18 |
-
# Ensure the Dockerfile has the appropriate steps before this to set up git if needed
|
19 |
-
# For example, setting up git config or credentials if the repository is private
|
20 |
-
|
21 |
-
# Clone the repository into the created github_repo directory
|
22 |
-
# You might need to adjust the permissions or use git through SSH keys depending on your setup
|
23 |
-
# RUN git clone <repository-URL> $HOME/app/github_repo/
|
24 |
-
|
25 |
# Copy application files
|
26 |
COPY --chown=user requirements.txt $HOME/app/
|
27 |
COPY --chown=user app.py $HOME/app/
|
|
|
15 |
# Create github_repo directory and ensure it's owned by `user`
|
16 |
RUN mkdir -p $HOME/app/github_repo
|
17 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
18 |
# Copy application files
|
19 |
COPY --chown=user requirements.txt $HOME/app/
|
20 |
COPY --chown=user app.py $HOME/app/
|