-avoid bashisms

author: Christian Grothoff <christian@grothoff.org> 2013-12-23 22:58:38 +0000
committer: Christian Grothoff <christian@grothoff.org> 2013-12-23 22:58:38 +0000
commit: 389e869325e475a3a0f016c32611c5d10049b07b (patch)
tree: ca1e832b375275806f769a7111b6fe652d2a78cb
parent: c65eba57340ed84c67b73ae2007b1bb59b645802 (diff)
download: gnunet-389e869325e475a3a0f016c32611c5d10049b07b.tar.gz
gnunet-389e869325e475a3a0f016c32611c5d10049b07b.zip
19 files changed, 19 insertions, 19 deletions
diff --git a/contrib/gnunet-gns-import.sh b/contrib/gnunet-gns-import.sh
index 21670a3ec..abe1c5936 100755
--- a/contrib/gnunet-gns-import.sh
+++ b/contrib/gnunet-gns-import.sh
@@ -7,7 +7,7 @@ if [ -z $LOCATION ]
 then
  LOCATION="gnunet-config"
 fi
-$LOCATION --version &> /dev/null
+$LOCATION --version 1> /dev/null
 if test $? != 0
 then
        echo "GNUnet command line tools not found, check environmental variables PATH and GNUNET_PREFIX"
diff --git a/src/gns/test_gns_cname_lookup.sh b/src/gns/test_gns_cname_lookup.sh
index 00614f038..f868bbae1 100755
--- a/src/gns/test_gns_cname_lookup.sh
+++ b/src/gns/test_gns_cname_lookup.sh
@@ -6,7 +6,7 @@ if [ -z $LOCATION ]
 then
  LOCATION="gnunet-config"
 fi
-$LOCATION --version &> /dev/null
+$LOCATION --version 1> /dev/null
 if test $? != 0
 then
        echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX"
diff --git a/src/gns/test_gns_delegated_lookup.sh b/src/gns/test_gns_delegated_lookup.sh
index d1ea02176..3826d3e32 100755
--- a/src/gns/test_gns_delegated_lookup.sh
+++ b/src/gns/test_gns_delegated_lookup.sh
@@ -7,7 +7,7 @@ if [ -z $LOCATION ]
 then
  LOCATION="gnunet-config"
 fi
-$LOCATION --version &> /dev/null
+$LOCATION --version 1> /dev/null
 if test $? != 0
 then
        echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX" 
diff --git a/src/gns/test_gns_dht_lookup.sh b/src/gns/test_gns_dht_lookup.sh
index 37648d891..a6e4acc77 100755
--- a/src/gns/test_gns_dht_lookup.sh
+++ b/src/gns/test_gns_dht_lookup.sh
@@ -7,7 +7,7 @@ if [ -z $LOCATION ]
 then
  LOCATION="gnunet-config"
 fi
-$LOCATION --version &> /dev/null
+$LOCATION --version 1> /dev/null
 if test $? != 0
 then
        echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX" 
diff --git a/src/gns/test_gns_gns2dns_lookup.sh b/src/gns/test_gns_gns2dns_lookup.sh
index a49a939c8..f6f158088 100755
--- a/src/gns/test_gns_gns2dns_lookup.sh
+++ b/src/gns/test_gns_gns2dns_lookup.sh
@@ -6,7 +6,7 @@ if [ -z $LOCATION ]
 then
  LOCATION="gnunet-config"
 fi
-$LOCATION --version &> /dev/null
+$LOCATION --version 1> /dev/null
 if test $? != 0
 then
        echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX"
diff --git a/src/gns/test_gns_ipv6_lookup.sh b/src/gns/test_gns_ipv6_lookup.sh
index 6b7733ce0..ef8895213 100755
--- a/src/gns/test_gns_ipv6_lookup.sh
+++ b/src/gns/test_gns_ipv6_lookup.sh
@@ -6,7 +6,7 @@ if [ -z $LOCATION ]
 then
  LOCATION="gnunet-config"
 fi
-$LOCATION --version &> /dev/null
+$LOCATION --version 1> /dev/null
 if test $? != 0
 then
        echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX"
diff --git a/src/gns/test_gns_lookup.sh b/src/gns/test_gns_lookup.sh
index 70066f0a2..ddee5b78d 100755
--- a/src/gns/test_gns_lookup.sh
+++ b/src/gns/test_gns_lookup.sh
@@ -6,7 +6,7 @@ if [ -z $LOCATION ]
 then
  LOCATION="gnunet-config"
 fi
-$LOCATION --version &> /dev/null
+$LOCATION --version 1> /dev/null
 if test $? != 0
 then
        echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX"
diff --git a/src/gns/test_gns_mx_lookup.sh b/src/gns/test_gns_mx_lookup.sh
index e378bd1f7..f8cea2d0f 100755
--- a/src/gns/test_gns_mx_lookup.sh
+++ b/src/gns/test_gns_mx_lookup.sh
@@ -6,7 +6,7 @@ if [ -z $LOCATION ]
 then
  LOCATION="gnunet-config"
 fi
-$LOCATION --version &> /dev/null
+$LOCATION --version 1> /dev/null
 if test $? != 0
 then
        echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX"
diff --git a/src/gns/test_gns_nick_shorten.sh b/src/gns/test_gns_nick_shorten.sh
index 68ee57a2b..df69bbba9 100755
--- a/src/gns/test_gns_nick_shorten.sh
+++ b/src/gns/test_gns_nick_shorten.sh
@@ -12,7 +12,7 @@ if [ -z $LOCATION ]
 then
  LOCATION="gnunet-config"
 fi
-$LOCATION --version &> /dev/null
+$LOCATION --version 1> /dev/null
 if test $? != 0
 then
        echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX"
diff --git a/src/gns/test_gns_plus_lookup.sh b/src/gns/test_gns_plus_lookup.sh
index 0cb687dfe..a6a9e8da4 100755
--- a/src/gns/test_gns_plus_lookup.sh
+++ b/src/gns/test_gns_plus_lookup.sh
@@ -6,7 +6,7 @@ if [ -z $LOCATION ]
 then
  LOCATION="gnunet-config"
 fi
-$LOCATION --version &> /dev/null
+$LOCATION --version 1> /dev/null
 if test $? != 0
 then
        echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX"
diff --git a/src/gns/test_gns_quickupdate.sh b/src/gns/test_gns_quickupdate.sh
index cb3b67db2..d58a2712c 100755
--- a/src/gns/test_gns_quickupdate.sh
+++ b/src/gns/test_gns_quickupdate.sh
@@ -6,7 +6,7 @@ if [ -z $LOCATION ]
 then
  LOCATION="gnunet-config"
 fi
-$LOCATION --version
+$LOCATION --version 1> /dev/null
 if test $? != 0
 then
        echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX" 
diff --git a/src/gns/test_gns_rel_expiration.sh b/src/gns/test_gns_rel_expiration.sh
index 91eb45b3f..b1973f886 100755
--- a/src/gns/test_gns_rel_expiration.sh
+++ b/src/gns/test_gns_rel_expiration.sh
@@ -6,7 +6,7 @@ if [ -z $LOCATION ]
 then
  LOCATION="gnunet-config"
 fi
-$LOCATION --version &> /dev/null
+$LOCATION --version 1> /dev/null
 if test $? != 0
 then
        echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX"
diff --git a/src/gns/test_gns_revocation.sh b/src/gns/test_gns_revocation.sh
index afb5803f5..fdd3c76de 100755
--- a/src/gns/test_gns_revocation.sh
+++ b/src/gns/test_gns_revocation.sh
@@ -7,7 +7,7 @@ if [ -z $LOCATION ]
 then
  LOCATION="gnunet-config"
 fi
-$LOCATION --version &> /dev/null
+$LOCATION --version 1> /dev/null
 if test $? != 0
 then
        echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX"
diff --git a/src/gns/test_gns_soa_lookup.sh b/src/gns/test_gns_soa_lookup.sh
index 8a2a5f8fa..bd8adcb63 100755
--- a/src/gns/test_gns_soa_lookup.sh
+++ b/src/gns/test_gns_soa_lookup.sh
@@ -6,7 +6,7 @@ if [ -z $LOCATION ]
 then
  LOCATION="gnunet-config"
 fi
-$LOCATION --version &> /dev/null
+$LOCATION --version 1> /dev/null
 if test $? != 0
 then
        echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX"
diff --git a/src/gns/test_gns_txt_lookup.sh b/src/gns/test_gns_txt_lookup.sh
index 426bf8d5a..dcf51112f 100755
--- a/src/gns/test_gns_txt_lookup.sh
+++ b/src/gns/test_gns_txt_lookup.sh
@@ -6,7 +6,7 @@ if [ -z $LOCATION ]
 then
  LOCATION="gnunet-config"
 fi
-$LOCATION --version &> /dev/null
+$LOCATION --version 1> /dev/null
 if test $? != 0
 then
        echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX"
diff --git a/src/gns/test_gns_zkey_lookup.sh b/src/gns/test_gns_zkey_lookup.sh
index e5f47423a..6262c1eb2 100755
--- a/src/gns/test_gns_zkey_lookup.sh
+++ b/src/gns/test_gns_zkey_lookup.sh
@@ -7,7 +7,7 @@ if [ -z $LOCATION ]
 then
  LOCATION="gnunet-config"
 fi
-$LOCATION --version &> /dev/null
+$LOCATION --version 1> /dev/null
 if test $? != 0
 then
        echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX"
diff --git a/src/namestore/test_namestore_delete.sh b/src/namestore/test_namestore_delete.sh
index 5f9a6890a..8c776104a 100755
--- a/src/namestore/test_namestore_delete.sh
+++ b/src/namestore/test_namestore_delete.sh
@@ -7,7 +7,7 @@ if [ -z $LOCATION ]
 then
  LOCATION="gnunet-config"
 fi
-$LOCATION --version &> /dev/null
+$LOCATION --version 1> /dev/null
 if test $? != 0
 then
        echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX"
diff --git a/src/namestore/test_namestore_lookup.sh b/src/namestore/test_namestore_lookup.sh
index 18b8eed3e..90735b17e 100755
--- a/src/namestore/test_namestore_lookup.sh
+++ b/src/namestore/test_namestore_lookup.sh
@@ -7,7 +7,7 @@ if [ -z $LOCATION ]
 then
  LOCATION="gnunet-config"
 fi
-$LOCATION --version &> /dev/null
+$LOCATION --version 1> /dev/null
 if test $? != 0
 then
        echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX"
diff --git a/src/namestore/test_namestore_put.sh b/src/namestore/test_namestore_put.sh
index 4987a9cd3..6b6647d5f 100755
--- a/src/namestore/test_namestore_put.sh
+++ b/src/namestore/test_namestore_put.sh
@@ -7,7 +7,7 @@ if [ -z $LOCATION ]
 then
  LOCATION="gnunet-config"
 fi
-$LOCATION --version &> /dev/null
+$LOCATION --version 1> /dev/null
 if test $? != 0
 then
        echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX"
author	Christian Grothoff <christian@grothoff.org>	2013-12-23 22:58:38 +0000
committer	Christian Grothoff <christian@grothoff.org>	2013-12-23 22:58:38 +0000
commit	389e869325e475a3a0f016c32611c5d10049b07b (patch)
tree	ca1e832b375275806f769a7111b6fe652d2a78cb
parent	c65eba57340ed84c67b73ae2007b1bb59b645802 (diff)
download	gnunet-389e869325e475a3a0f016c32611c5d10049b07b.tar.gz gnunet-389e869325e475a3a0f016c32611c5d10049b07b.zip

diff --git a/contrib/gnunet-gns-import.sh b/contrib/gnunet-gns-import.sh index 21670a3ec..abe1c5936 100755 --- a/contrib/gnunet-gns-import.sh +++ b/contrib/gnunet-gns-import.sh
@@ -7,7 +7,7 @@ if [ -z $LOCATION ]
7	then	7	then
8	LOCATION="gnunet-config"	8	LOCATION="gnunet-config"
9	fi	9	fi
10	$LOCATION --version &> /dev/null	10	$LOCATION --version 1> /dev/null
11	if test $? != 0	11	if test $? != 0
12	then	12	then
13	echo "GNUnet command line tools not found, check environmental variables PATH and GNUNET_PREFIX"	13	echo "GNUnet command line tools not found, check environmental variables PATH and GNUNET_PREFIX"


diff --git a/src/gns/test_gns_cname_lookup.sh b/src/gns/test_gns_cname_lookup.sh index 00614f038..f868bbae1 100755 --- a/src/gns/test_gns_cname_lookup.sh +++ b/src/gns/test_gns_cname_lookup.sh
@@ -6,7 +6,7 @@ if [ -z $LOCATION ]
6	then	6	then
7	LOCATION="gnunet-config"	7	LOCATION="gnunet-config"
8	fi	8	fi
9	$LOCATION --version &> /dev/null	9	$LOCATION --version 1> /dev/null
10	if test $? != 0	10	if test $? != 0
11	then	11	then
12	echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX"	12	echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX"


diff --git a/src/gns/test_gns_delegated_lookup.sh b/src/gns/test_gns_delegated_lookup.sh index d1ea02176..3826d3e32 100755 --- a/src/gns/test_gns_delegated_lookup.sh +++ b/src/gns/test_gns_delegated_lookup.sh
@@ -7,7 +7,7 @@ if [ -z $LOCATION ]
7	then	7	then
8	LOCATION="gnunet-config"	8	LOCATION="gnunet-config"
9	fi	9	fi
10	$LOCATION --version &> /dev/null	10	$LOCATION --version 1> /dev/null
11	if test $? != 0	11	if test $? != 0
12	then	12	then
13	echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX"	13	echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX"


diff --git a/src/gns/test_gns_dht_lookup.sh b/src/gns/test_gns_dht_lookup.sh index 37648d891..a6e4acc77 100755 --- a/src/gns/test_gns_dht_lookup.sh +++ b/src/gns/test_gns_dht_lookup.sh
@@ -7,7 +7,7 @@ if [ -z $LOCATION ]
7	then	7	then
8	LOCATION="gnunet-config"	8	LOCATION="gnunet-config"
9	fi	9	fi
10	$LOCATION --version &> /dev/null	10	$LOCATION --version 1> /dev/null
11	if test $? != 0	11	if test $? != 0
12	then	12	then
13	echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX"	13	echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX"


diff --git a/src/gns/test_gns_gns2dns_lookup.sh b/src/gns/test_gns_gns2dns_lookup.sh index a49a939c8..f6f158088 100755 --- a/src/gns/test_gns_gns2dns_lookup.sh +++ b/src/gns/test_gns_gns2dns_lookup.sh
@@ -6,7 +6,7 @@ if [ -z $LOCATION ]
6	then	6	then
7	LOCATION="gnunet-config"	7	LOCATION="gnunet-config"
8	fi	8	fi
9	$LOCATION --version &> /dev/null	9	$LOCATION --version 1> /dev/null
10	if test $? != 0	10	if test $? != 0
11	then	11	then
12	echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX"	12	echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX"


diff --git a/src/gns/test_gns_ipv6_lookup.sh b/src/gns/test_gns_ipv6_lookup.sh index 6b7733ce0..ef8895213 100755 --- a/src/gns/test_gns_ipv6_lookup.sh +++ b/src/gns/test_gns_ipv6_lookup.sh
@@ -6,7 +6,7 @@ if [ -z $LOCATION ]
6	then	6	then
7	LOCATION="gnunet-config"	7	LOCATION="gnunet-config"
8	fi	8	fi
9	$LOCATION --version &> /dev/null	9	$LOCATION --version 1> /dev/null
10	if test $? != 0	10	if test $? != 0
11	then	11	then
12	echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX"	12	echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX"


diff --git a/src/gns/test_gns_lookup.sh b/src/gns/test_gns_lookup.sh index 70066f0a2..ddee5b78d 100755 --- a/src/gns/test_gns_lookup.sh +++ b/src/gns/test_gns_lookup.sh
@@ -6,7 +6,7 @@ if [ -z $LOCATION ]
6	then	6	then
7	LOCATION="gnunet-config"	7	LOCATION="gnunet-config"
8	fi	8	fi
9	$LOCATION --version &> /dev/null	9	$LOCATION --version 1> /dev/null
10	if test $? != 0	10	if test $? != 0
11	then	11	then
12	echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX"	12	echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX"


diff --git a/src/gns/test_gns_mx_lookup.sh b/src/gns/test_gns_mx_lookup.sh index e378bd1f7..f8cea2d0f 100755 --- a/src/gns/test_gns_mx_lookup.sh +++ b/src/gns/test_gns_mx_lookup.sh
@@ -6,7 +6,7 @@ if [ -z $LOCATION ]
6	then	6	then
7	LOCATION="gnunet-config"	7	LOCATION="gnunet-config"
8	fi	8	fi
9	$LOCATION --version &> /dev/null	9	$LOCATION --version 1> /dev/null
10	if test $? != 0	10	if test $? != 0
11	then	11	then
12	echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX"	12	echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX"


diff --git a/src/gns/test_gns_nick_shorten.sh b/src/gns/test_gns_nick_shorten.sh index 68ee57a2b..df69bbba9 100755 --- a/src/gns/test_gns_nick_shorten.sh +++ b/src/gns/test_gns_nick_shorten.sh
@@ -12,7 +12,7 @@ if [ -z $LOCATION ]
12	then	12	then
13	LOCATION="gnunet-config"	13	LOCATION="gnunet-config"
14	fi	14	fi
15	$LOCATION --version &> /dev/null	15	$LOCATION --version 1> /dev/null
16	if test $? != 0	16	if test $? != 0
17	then	17	then
18	echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX"	18	echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX"


diff --git a/src/gns/test_gns_plus_lookup.sh b/src/gns/test_gns_plus_lookup.sh index 0cb687dfe..a6a9e8da4 100755 --- a/src/gns/test_gns_plus_lookup.sh +++ b/src/gns/test_gns_plus_lookup.sh
@@ -6,7 +6,7 @@ if [ -z $LOCATION ]
6	then	6	then
7	LOCATION="gnunet-config"	7	LOCATION="gnunet-config"
8	fi	8	fi
9	$LOCATION --version &> /dev/null	9	$LOCATION --version 1> /dev/null
10	if test $? != 0	10	if test $? != 0
11	then	11	then
12	echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX"	12	echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX"


diff --git a/src/gns/test_gns_quickupdate.sh b/src/gns/test_gns_quickupdate.sh index cb3b67db2..d58a2712c 100755 --- a/src/gns/test_gns_quickupdate.sh +++ b/src/gns/test_gns_quickupdate.sh
@@ -6,7 +6,7 @@ if [ -z $LOCATION ]
6	then	6	then
7	LOCATION="gnunet-config"	7	LOCATION="gnunet-config"
8	fi	8	fi
9	$LOCATION --version	9	$LOCATION --version 1> /dev/null
10	if test $? != 0	10	if test $? != 0
11	then	11	then
12	echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX"	12	echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX"


diff --git a/src/gns/test_gns_rel_expiration.sh b/src/gns/test_gns_rel_expiration.sh index 91eb45b3f..b1973f886 100755 --- a/src/gns/test_gns_rel_expiration.sh +++ b/src/gns/test_gns_rel_expiration.sh
@@ -6,7 +6,7 @@ if [ -z $LOCATION ]
6	then	6	then
7	LOCATION="gnunet-config"	7	LOCATION="gnunet-config"
8	fi	8	fi
9	$LOCATION --version &> /dev/null	9	$LOCATION --version 1> /dev/null
10	if test $? != 0	10	if test $? != 0
11	then	11	then
12	echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX"	12	echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX"


diff --git a/src/gns/test_gns_revocation.sh b/src/gns/test_gns_revocation.sh index afb5803f5..fdd3c76de 100755 --- a/src/gns/test_gns_revocation.sh +++ b/src/gns/test_gns_revocation.sh
@@ -7,7 +7,7 @@ if [ -z $LOCATION ]
7	then	7	then
8	LOCATION="gnunet-config"	8	LOCATION="gnunet-config"
9	fi	9	fi
10	$LOCATION --version &> /dev/null	10	$LOCATION --version 1> /dev/null
11	if test $? != 0	11	if test $? != 0
12	then	12	then
13	echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX"	13	echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX"


diff --git a/src/gns/test_gns_soa_lookup.sh b/src/gns/test_gns_soa_lookup.sh index 8a2a5f8fa..bd8adcb63 100755 --- a/src/gns/test_gns_soa_lookup.sh +++ b/src/gns/test_gns_soa_lookup.sh
@@ -6,7 +6,7 @@ if [ -z $LOCATION ]
6	then	6	then
7	LOCATION="gnunet-config"	7	LOCATION="gnunet-config"
8	fi	8	fi
9	$LOCATION --version &> /dev/null	9	$LOCATION --version 1> /dev/null
10	if test $? != 0	10	if test $? != 0
11	then	11	then
12	echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX"	12	echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX"


diff --git a/src/gns/test_gns_txt_lookup.sh b/src/gns/test_gns_txt_lookup.sh index 426bf8d5a..dcf51112f 100755 --- a/src/gns/test_gns_txt_lookup.sh +++ b/src/gns/test_gns_txt_lookup.sh
@@ -6,7 +6,7 @@ if [ -z $LOCATION ]
6	then	6	then
7	LOCATION="gnunet-config"	7	LOCATION="gnunet-config"
8	fi	8	fi
9	$LOCATION --version &> /dev/null	9	$LOCATION --version 1> /dev/null
10	if test $? != 0	10	if test $? != 0
11	then	11	then
12	echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX"	12	echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX"


diff --git a/src/gns/test_gns_zkey_lookup.sh b/src/gns/test_gns_zkey_lookup.sh index e5f47423a..6262c1eb2 100755 --- a/src/gns/test_gns_zkey_lookup.sh +++ b/src/gns/test_gns_zkey_lookup.sh
@@ -7,7 +7,7 @@ if [ -z $LOCATION ]
7	then	7	then
8	LOCATION="gnunet-config"	8	LOCATION="gnunet-config"
9	fi	9	fi
10	$LOCATION --version &> /dev/null	10	$LOCATION --version 1> /dev/null
11	if test $? != 0	11	if test $? != 0
12	then	12	then
13	echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX"	13	echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX"


diff --git a/src/namestore/test_namestore_delete.sh b/src/namestore/test_namestore_delete.sh index 5f9a6890a..8c776104a 100755 --- a/src/namestore/test_namestore_delete.sh +++ b/src/namestore/test_namestore_delete.sh
@@ -7,7 +7,7 @@ if [ -z $LOCATION ]
7	then	7	then
8	LOCATION="gnunet-config"	8	LOCATION="gnunet-config"
9	fi	9	fi
10	$LOCATION --version &> /dev/null	10	$LOCATION --version 1> /dev/null
11	if test $? != 0	11	if test $? != 0
12	then	12	then
13	echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX"	13	echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX"


diff --git a/src/namestore/test_namestore_lookup.sh b/src/namestore/test_namestore_lookup.sh index 18b8eed3e..90735b17e 100755 --- a/src/namestore/test_namestore_lookup.sh +++ b/src/namestore/test_namestore_lookup.sh
@@ -7,7 +7,7 @@ if [ -z $LOCATION ]
7	then	7	then
8	LOCATION="gnunet-config"	8	LOCATION="gnunet-config"
9	fi	9	fi
10	$LOCATION --version &> /dev/null	10	$LOCATION --version 1> /dev/null
11	if test $? != 0	11	if test $? != 0
12	then	12	then
13	echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX"	13	echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX"


diff --git a/src/namestore/test_namestore_put.sh b/src/namestore/test_namestore_put.sh index 4987a9cd3..6b6647d5f 100755 --- a/src/namestore/test_namestore_put.sh +++ b/src/namestore/test_namestore_put.sh
@@ -7,7 +7,7 @@ if [ -z $LOCATION ]
7	then	7	then
8	LOCATION="gnunet-config"	8	LOCATION="gnunet-config"
9	fi	9	fi
10	$LOCATION --version &> /dev/null	10	$LOCATION --version 1> /dev/null
11	if test $? != 0	11	if test $? != 0
12	then	12	then
13	echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX"	13	echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX"