PG: fix setup issue

Paulo Graça
1 parent 694aa8697f
Showing 1 changed file with 1 additions and 5 deletions Show diff stats
ingester/setup.sh
@@ -13,11 +13,7 @@ ln -s ~/bin/ingester/ingest.sh ~/bin/ingest
  
 ARCH=$(uname -m | sed 's/x86_//;s/i[3-6]86/32/')
  
-if [ -f /etc/lsb-release ]; then
-    . /etc/lsb-release
-    OS=$DISTRIB_ID
-    VER=$DISTRIB_RELEASE
-elif [ -f /etc/debian_version ]; then
+if [ -f /etc/debian_version ]; then
     OS=Debian  # XXX or Ubuntu??
     VER=$(cat /etc/debian_version)
 elif [ -f /etc/redhat-release ]; then
...	...	@@ -13,11 +13,7 @@ ln -s ~/bin/ingester/ingest.sh ~/bin/ingest
13	13
14	14	ARCH=$(uname -m \| sed 's/x86_//;s/i[3-6]86/32/')
15	15
16		-if [ -f /etc/lsb-release ]; then
17		- . /etc/lsb-release
18		- OS=$DISTRIB_ID
19		- VER=$DISTRIB_RELEASE
20		-elif [ -f /etc/debian_version ]; then
	16	+if [ -f /etc/debian_version ]; then
21	17	OS=Debian # XXX or Ubuntu??
22	18	VER=$(cat /etc/debian_version)
23	19	elif [ -f /etc/redhat-release ]; then
...	...