diff options
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 /src | |
parent | c65eba57340ed84c67b73ae2007b1bb59b645802 (diff) | |
download | gnunet-389e869325e475a3a0f016c32611c5d10049b07b.tar.gz gnunet-389e869325e475a3a0f016c32611c5d10049b07b.zip |
-avoid bashisms
Diffstat (limited to 'src')
-rwxr-xr-x | src/gns/test_gns_cname_lookup.sh | 2 | ||||
-rwxr-xr-x | src/gns/test_gns_delegated_lookup.sh | 2 | ||||
-rwxr-xr-x | src/gns/test_gns_dht_lookup.sh | 2 | ||||
-rwxr-xr-x | src/gns/test_gns_gns2dns_lookup.sh | 2 | ||||
-rwxr-xr-x | src/gns/test_gns_ipv6_lookup.sh | 2 | ||||
-rwxr-xr-x | src/gns/test_gns_lookup.sh | 2 | ||||
-rwxr-xr-x | src/gns/test_gns_mx_lookup.sh | 2 | ||||
-rwxr-xr-x | src/gns/test_gns_nick_shorten.sh | 2 | ||||
-rwxr-xr-x | src/gns/test_gns_plus_lookup.sh | 2 | ||||
-rwxr-xr-x | src/gns/test_gns_quickupdate.sh | 2 | ||||
-rwxr-xr-x | src/gns/test_gns_rel_expiration.sh | 2 | ||||
-rwxr-xr-x | src/gns/test_gns_revocation.sh | 2 | ||||
-rwxr-xr-x | src/gns/test_gns_soa_lookup.sh | 2 | ||||
-rwxr-xr-x | src/gns/test_gns_txt_lookup.sh | 2 | ||||
-rwxr-xr-x | src/gns/test_gns_zkey_lookup.sh | 2 | ||||
-rwxr-xr-x | src/namestore/test_namestore_delete.sh | 2 | ||||
-rwxr-xr-x | src/namestore/test_namestore_lookup.sh | 2 | ||||
-rwxr-xr-x | src/namestore/test_namestore_put.sh | 2 |
18 files changed, 18 insertions, 18 deletions
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" |