flip/real_analysis
1
0
Fork 0
Code Issues 3 Pull Requests Packages Projects 1 Releases Wiki Activity

dpkg was not installed, flips table

Browse Source
This commit is contained in:
Philippe Zwietering
2024-04-30 15:00:01 +02:00
parent 9c83a5bb32
commit a28e184552
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
scripts/build.sh
View File

@@ -4,7 +4,7 @@
necessary_packages=("pdflatex") necessary_packages=("pdflatex")
for package in "${necessary_packages}"; do for package in "${necessary_packages}"; do
if ! [dpkg -l "${package}" > /dev/null &]; then if ! [dpkg -l "${package}" > /dev/null]; then
echo "Error: ${package} is not installed." echo "Error: ${package} is not installed."
exit 1 exit 1
fi fi