From eabd357aedb337b5b868f376695e7f2166ab83b1 Mon Sep 17 00:00:00 2001
From: Jakob Ackermann <jakob.ackermann@overleaf.com>
Date: Tue, 9 Apr 2024 09:15:32 +0100
Subject: [PATCH] bin/images: Add header to docker images output

---
 bin/images | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/bin/images b/bin/images
index f53466d..828a1e9 100755
--- a/bin/images
+++ b/bin/images
@@ -29,11 +29,11 @@ function __main__() {
     fi
 
     echo "---- Community Edition Images ----"
-    docker images | grep '^sharelatex/sharelatex\s'
+    docker images sharelatex/sharelatex
     echo "---- Server Pro Images ----"
-    docker images | grep '^quay.io/sharelatex/sharelatex-pro\s'
+    docker images quay.io/sharelatex/sharelatex-pro
     echo "---- TexLive Images ----"
-    docker images | grep '^quay.io/sharelatex/texlive'
+    docker images quay.io/sharelatex/texlive-full
 }
 
 __main__ "$@"