From 9c83a5bb329cb20565df7d343c18dece8642e1e5 Mon Sep 17 00:00:00 2001
From: Philippe Zwietering <philippe.zwietering@gmail.com>
Date: Tue, 30 Apr 2024 14:58:10 +0200
Subject: [PATCH] Just the ampersand, without the redirection?

---
 scripts/build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/build.sh b/scripts/build.sh
index bca4104..ebbf0b1 100755
--- a/scripts/build.sh
+++ b/scripts/build.sh
@@ -4,7 +4,7 @@
 necessary_packages=("pdflatex")
 
 for package in "${necessary_packages}"; do
-    if ! [dpkg -l "${package}" > /dev/null 2>&1 &]; then
+    if ! [dpkg -l "${package}" > /dev/null &]; then
         echo "Error: ${package} is not installed."
         exit 1
     fi