PG: fix setup issue

Paulo Graça
1 parent 2f4c7abb83
Showing 1 changed file with 2 additions and 2 deletions Show diff stats
ingester/setup.sh
@@ -25,9 +25,9 @@ else
 fi
  
 echo "install poppler-utils (pdftotext)"
-if ("$OS" == "Redhat"); then
+if [ "$OS" == "Redhat" ]; then
      yum install poppler-utils
-elif ("$OS" == "Debian"); then
+elif [ "$OS" == "Debian" ]; then
     sudo apt-get install poppler-utils
 else
     echo "unsupported distro"
...	...	@@ -25,9 +25,9 @@ else
25	25	fi
26	26
27	27	echo "install poppler-utils (pdftotext)"
28		-if ("$OS" == "Redhat"); then
	28	+if [ "$OS" == "Redhat" ]; then
29	29	yum install poppler-utils
30		-elif ("$OS" == "Debian"); then
	30	+elif [ "$OS" == "Debian" ]; then
31	31	sudo apt-get install poppler-utils
32	32	else
33	33	echo "unsupported distro"
...	...