fix: add missing file

clicepfl · Sep 5, 2024 · 1dbe97e · 1dbe97e
1 parent 731b221
commit 1dbe97e
Showing 1 changed file with 15 additions and 0 deletions.
diff --git a/backend/src/docker.rs b/backend/src/docker.rs
@@ -0,0 +1,15 @@
+use std::process::Command;
+
+pub const JAVA_IMAGE: &str = "cimg/openjdk:17.0";
+pub const PYTHON_IMAGE: &str = "python:3-bullseye";
+pub const CPP_IMAGE: &str = "ghcr.io/clicepfl/s4s-2024-cpp:main";
+
+pub const IMAGES: [&str; 3] = [JAVA_IMAGE, PYTHON_IMAGE, CPP_IMAGE];
+
+pub fn pull_required_images() {
+ for image in IMAGES {
+ if let Err(err) = Command::new("docker").args(["pull", image]).status() {
+ println!("Error while pulling {image}: {err:#?}");
+ }
+ }
+}