diff options
author | Matthias Wachs <wachs@net.in.tum.de> | 2013-11-28 10:37:24 +0000 |
---|---|---|
committer | Matthias Wachs <wachs@net.in.tum.de> | 2013-11-28 10:37:24 +0000 |
commit | 2d4aebfa4622cdf0d36172bcdd73a5b78a43bf0c (patch) | |
tree | bc1b6572882e7c2000b4289edfd84279ab665873 /src/namestore/test_namestore_delete.sh | |
parent | 5baf448f3639283acb66c7abcbd3118c751fbb8b (diff) | |
download | gnunet-2d4aebfa4622cdf0d36172bcdd73a5b78a43bf0c.tar.gz gnunet-2d4aebfa4622cdf0d36172bcdd73a5b78a43bf0c.zip |
check for cli tools
Diffstat (limited to 'src/namestore/test_namestore_delete.sh')
-rwxr-xr-x | src/namestore/test_namestore_delete.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/namestore/test_namestore_delete.sh b/src/namestore/test_namestore_delete.sh index 817697670..78f2cc03c 100755 --- a/src/namestore/test_namestore_delete.sh +++ b/src/namestore/test_namestore_delete.sh | |||
@@ -1,6 +1,14 @@ | |||
1 | #!/bin/bash | 1 | #!/bin/bash |
2 | CONFIGURATION="test_namestore_api.conf" | 2 | CONFIGURATION="test_namestore_api.conf" |
3 | trap "gnunet-arm -e -c $CONFIGURATION" SIGINT | 3 | trap "gnunet-arm -e -c $CONFIGURATION" SIGINT |
4 | |||
5 | LOCATION=$(which gnunet-config) | ||
6 | if [ -z $LOCATION ] | ||
7 | then | ||
8 | echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX" | ||
9 | exit 1 | ||
10 | fi | ||
11 | |||
4 | rm -rf `gnunet-config -c $CONFIGURATION -s PATHS -o GNUNET_HOME` | 12 | rm -rf `gnunet-config -c $CONFIGURATION -s PATHS -o GNUNET_HOME` |
5 | TEST_DOMAIN_PLUS="www.gnu" | 13 | TEST_DOMAIN_PLUS="www.gnu" |
6 | TEST_DOMAIN_DNS="www3.gnu" | 14 | TEST_DOMAIN_DNS="www3.gnu" |