From 389e869325e475a3a0f016c32611c5d10049b07b Mon Sep 17 00:00:00 2001 From: Christian Grothoff Date: Mon, 23 Dec 2013 22:58:38 +0000 Subject: -avoid bashisms --- contrib/gnunet-gns-import.sh | 2 +- src/gns/test_gns_cname_lookup.sh | 2 +- src/gns/test_gns_delegated_lookup.sh | 2 +- src/gns/test_gns_dht_lookup.sh | 2 +- src/gns/test_gns_gns2dns_lookup.sh | 2 +- src/gns/test_gns_ipv6_lookup.sh | 2 +- src/gns/test_gns_lookup.sh | 2 +- src/gns/test_gns_mx_lookup.sh | 2 +- src/gns/test_gns_nick_shorten.sh | 2 +- src/gns/test_gns_plus_lookup.sh | 2 +- src/gns/test_gns_quickupdate.sh | 2 +- src/gns/test_gns_rel_expiration.sh | 2 +- src/gns/test_gns_revocation.sh | 2 +- src/gns/test_gns_soa_lookup.sh | 2 +- src/gns/test_gns_txt_lookup.sh | 2 +- src/gns/test_gns_zkey_lookup.sh | 2 +- src/namestore/test_namestore_delete.sh | 2 +- src/namestore/test_namestore_lookup.sh | 2 +- src/namestore/test_namestore_put.sh | 2 +- 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" -- cgit v1.2.3