From 2eda317dd7a8d85aa0c9b0035b50557e1658dcf3 Mon Sep 17 00:00:00 2001 From: Philippe Zwietering Date: Tue, 30 Apr 2024 14:55:43 +0200 Subject: [PATCH] Ampersand as last parameter might fix the redirect? --- scripts/build.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/build.sh b/scripts/build.sh index fa1ab20..bca4104 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 2>&1 &]; then echo "Error: ${package} is not installed." exit 1 fi