Spaces:
				
			
			
	
			
			
		Sleeping
		
	
	
	
			
			
	
	
	
	
		
		
		Sleeping
		
	Update Dockerfile
Browse files- Dockerfile +5 -5
    	
        Dockerfile
    CHANGED
    
    | @@ -4,7 +4,7 @@ FROM python:3.12-slim | |
| 4 | 
             
            ENV HOME=/home/user \
         | 
| 5 | 
             
                PATH=/home/user/.local/bin:$PATH \
         | 
| 6 | 
             
                WDM_LOCAL=1 \
         | 
| 7 | 
            -
                WDM_PATH=/ | 
| 8 | 
             
                GRADIO_SERVER_NAME="0.0.0.0" \
         | 
| 9 | 
             
                GRADIO_SERVER_PORT=7860
         | 
| 10 |  | 
| @@ -26,6 +26,10 @@ RUN wget -q -O - https://dl-ssl.google.com/linux/linux_signing_key.pub | apt-key | |
| 26 | 
             
                && apt-get install -y google-chrome-stable \
         | 
| 27 | 
             
                && rm -rf /var/lib/apt/lists/*
         | 
| 28 |  | 
|  | |
|  | |
|  | |
|  | |
| 29 | 
             
            # Create a user with UID 1000 (as root)
         | 
| 30 | 
             
            RUN useradd -m -u 1000 user
         | 
| 31 |  | 
| @@ -38,10 +42,6 @@ COPY --chown=user . $HOME/app | |
| 38 | 
             
            # Switch to non-root user
         | 
| 39 | 
             
            USER user
         | 
| 40 |  | 
| 41 | 
            -
            # Create ChromeDriver directory in user's home (as user)
         | 
| 42 | 
            -
            RUN mkdir -p $HOME/.wdm && \
         | 
| 43 | 
            -
                chmod -R 700 $HOME/.wdm
         | 
| 44 | 
            -
             | 
| 45 | 
             
            # Install dependencies (as user)
         | 
| 46 | 
             
            RUN pip install --no-cache-dir -r requirements.txt
         | 
| 47 |  | 
|  | |
| 4 | 
             
            ENV HOME=/home/user \
         | 
| 5 | 
             
                PATH=/home/user/.local/bin:$PATH \
         | 
| 6 | 
             
                WDM_LOCAL=1 \
         | 
| 7 | 
            +
                WDM_PATH=/tmp/.wdm \
         | 
| 8 | 
             
                GRADIO_SERVER_NAME="0.0.0.0" \
         | 
| 9 | 
             
                GRADIO_SERVER_PORT=7860
         | 
| 10 |  | 
|  | |
| 26 | 
             
                && apt-get install -y google-chrome-stable \
         | 
| 27 | 
             
                && rm -rf /var/lib/apt/lists/*
         | 
| 28 |  | 
| 29 | 
            +
            # Create and set permissions for ChromeDriver directory (as root)
         | 
| 30 | 
            +
            # RUN mkdir -p /tmp/.wdm && \
         | 
| 31 | 
            +
            #     chmod -R 777 /tmp/.wdm
         | 
| 32 | 
            +
             | 
| 33 | 
             
            # Create a user with UID 1000 (as root)
         | 
| 34 | 
             
            RUN useradd -m -u 1000 user
         | 
| 35 |  | 
|  | |
| 42 | 
             
            # Switch to non-root user
         | 
| 43 | 
             
            USER user
         | 
| 44 |  | 
|  | |
|  | |
|  | |
|  | |
| 45 | 
             
            # Install dependencies (as user)
         | 
| 46 | 
             
            RUN pip install --no-cache-dir -r requirements.txt
         | 
| 47 |  | 
