Ensure that vlc is installed

ILLGrenoble · Feb 12, 2025 · d528e60 · d528e60
1 parent a0f1850
commit d528e60
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 0 deletions.
diff --git a/webx-dev-env-debian-12.dockerfile b/webx-dev-env-debian-12.dockerfile
@@ -6,6 +6,7 @@ RUN apt install -y file cmake dpkg-dev pkg-config build-essential libzmq3-dev li
 RUN apt install -y xfce4 xrdp dbus dbus-x11
 RUN apt install -y xterm terminator nano less
 RUN apt install -y curl unzip git gdb
+RUN apt install -y vlc
 
 # Allow vlc to be run as root
 RUN sed -i 's/geteuid/getppid/' /usr/bin/vlc

diff --git a/webx-dev-env-ubuntu-20.04.dockerfile b/webx-dev-env-ubuntu-20.04.dockerfile
@@ -6,6 +6,7 @@ RUN DEBIAN_FRONTEND=noninteractive apt install -y file cmake dpkg-dev pkg-config
 RUN DEBIAN_FRONTEND=noninteractive apt install -y xfce4 xrdp dbus dbus-x11
 RUN DEBIAN_FRONTEND=noninteractive apt install -y xterm terminator nano less
 RUN DEBIAN_FRONTEND=noninteractive apt install -y curl unzip git gdb
+RUN DEBIAN_FRONTEND=noninteractive apt install -y vlc
 
 # Allow vlc to be run as root
 RUN sed -i 's/geteuid/getppid/' /usr/bin/vlc

diff --git a/webx-dev-env-ubuntu-22.04.dockerfile b/webx-dev-env-ubuntu-22.04.dockerfile
@@ -6,6 +6,8 @@ RUN DEBIAN_FRONTEND=noninteractive apt install -y file cmake dpkg-dev pkg-config
 RUN DEBIAN_FRONTEND=noninteractive apt install -y xfce4 xrdp dbus dbus-x11
 RUN DEBIAN_FRONTEND=noninteractive apt install -y xterm terminator nano less
 RUN DEBIAN_FRONTEND=noninteractive apt install -y curl unzip git gdb
+RUN DEBIAN_FRONTEND=noninteractive apt install -y vlc
+
 RUN DEBIAN_FRONTEND=noninteractive apt remove -y xfce4-screensaver
 
 # Allow vlc to be run as root

diff --git a/webx-dev-env-ubuntu-24.04.dockerfile b/webx-dev-env-ubuntu-24.04.dockerfile
@@ -6,6 +6,7 @@ RUN apt install -y file cmake dpkg-dev pkg-config build-essential libzmq3-dev li
 RUN apt install -y xfce4 xrdp dbus dbus-x11
 RUN apt install -y xterm terminator nano less
 RUN apt install -y curl unzip git gdb
+RUN apt install -y vlc
 
 # Allow vlc to be run as root
 RUN sed -i 's/geteuid/getppid/' /usr/bin/vlc