aboutsummaryrefslogtreecommitdiff
path: root/src/namestore/test_namestore_delete.sh
diff options
context:
space:
mode:
authorMatthias Wachs <wachs@net.in.tum.de>2013-11-28 10:37:24 +0000
committerMatthias Wachs <wachs@net.in.tum.de>2013-11-28 10:37:24 +0000
commit2d4aebfa4622cdf0d36172bcdd73a5b78a43bf0c (patch)
treebc1b6572882e7c2000b4289edfd84279ab665873 /src/namestore/test_namestore_delete.sh
parent5baf448f3639283acb66c7abcbd3118c751fbb8b (diff)
downloadgnunet-2d4aebfa4622cdf0d36172bcdd73a5b78a43bf0c.tar.gz
gnunet-2d4aebfa4622cdf0d36172bcdd73a5b78a43bf0c.zip
check for cli tools
Diffstat (limited to 'src/namestore/test_namestore_delete.sh')
-rwxr-xr-xsrc/namestore/test_namestore_delete.sh8
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
2CONFIGURATION="test_namestore_api.conf" 2CONFIGURATION="test_namestore_api.conf"
3trap "gnunet-arm -e -c $CONFIGURATION" SIGINT 3trap "gnunet-arm -e -c $CONFIGURATION" SIGINT
4
5LOCATION=$(which gnunet-config)
6if [ -z $LOCATION ]
7then
8 echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX"
9 exit 1
10fi
11
4rm -rf `gnunet-config -c $CONFIGURATION -s PATHS -o GNUNET_HOME` 12rm -rf `gnunet-config -c $CONFIGURATION -s PATHS -o GNUNET_HOME`
5TEST_DOMAIN_PLUS="www.gnu" 13TEST_DOMAIN_PLUS="www.gnu"
6TEST_DOMAIN_DNS="www3.gnu" 14TEST_DOMAIN_DNS="www3.gnu"