Spaces:
Running
Running
Commit
•
e72c14a
1
Parent(s):
146981e
Download IBM Plex Mono for GUI
Browse files- gui/Dockerfile +7 -1
gui/Dockerfile
CHANGED
|
@@ -15,11 +15,17 @@ RUN apt-get update && \
|
|
| 15 |
pkg-config \
|
| 16 |
libfontconfig1 \
|
| 17 |
fontconfig \
|
|
|
|
|
|
|
| 18 |
&& \
|
| 19 |
apt-get clean && \
|
| 20 |
rm -rf /var/lib/apt/lists/*
|
| 21 |
|
| 22 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
| 23 |
RUN fc-cache -f -v
|
| 24 |
|
| 25 |
WORKDIR /code
|
|
|
|
| 15 |
pkg-config \
|
| 16 |
libfontconfig1 \
|
| 17 |
fontconfig \
|
| 18 |
+
curl \
|
| 19 |
+
unzip \
|
| 20 |
&& \
|
| 21 |
apt-get clean && \
|
| 22 |
rm -rf /var/lib/apt/lists/*
|
| 23 |
|
| 24 |
+
# Install IBM Plex Mono font (so our plots look Gradio-style)
|
| 25 |
+
RUN mkdir -p /usr/local/share/fonts/IBM_Plex_Mono && \
|
| 26 |
+
curl -L https://github.com/IBM/plex/releases/download/v6.4.0/IBM-Plex-Mono.zip -o /tmp/IBM_Plex_Mono.zip && \
|
| 27 |
+
unzip /tmp/IBM_Plex_Mono.zip -d /usr/local/share/fonts/IBM_Plex_Mono && \
|
| 28 |
+
rm /tmp/IBM_Plex_Mono.zip
|
| 29 |
RUN fc-cache -f -v
|
| 30 |
|
| 31 |
WORKDIR /code
|