Spaces:
Runtime error
Runtime error
Update Dockerfile
Browse files- Dockerfile +4 -0
Dockerfile
CHANGED
|
@@ -23,6 +23,10 @@ RUN mkdir -p /root/.local/share/jupyter/runtime && \
|
|
| 23 |
mkdir -p /root/.local && \
|
| 24 |
chmod -R 755 /root/.local
|
| 25 |
|
|
|
|
|
|
|
|
|
|
|
|
|
| 26 |
# Expose the port that Jupyter Notebook will run on
|
| 27 |
EXPOSE 8888
|
| 28 |
|
|
|
|
| 23 |
mkdir -p /root/.local && \
|
| 24 |
chmod -R 755 /root/.local
|
| 25 |
|
| 26 |
+
# Install additional language servers
|
| 27 |
+
RUN pip install python-language-server jedi && \
|
| 28 |
+
npm install -g bash-language-server
|
| 29 |
+
|
| 30 |
# Expose the port that Jupyter Notebook will run on
|
| 31 |
EXPOSE 8888
|
| 32 |
|