3 export PATH
="@@out@@/tools:$PATH"
7 if ! cat /etc
/cjdns.keys
>/dev
/null
2>&1; then
8 echo "ERROR: No permission to read /etc/cjdns.keys (use sudo)" >&2
15 echo "Usage: $0 <command> <args..>"
18 echo "Commands:" $
(find @@out@@
/tools
-maxdepth 1 -type f |
sed -r "s|.+/||g")
21 PATH
="@@out@@/tools" PS1
="cjdns\$ " "$_sh"
23 if [[ ! -e @@out@@
/tools
/$1 ]]; then
24 echo "ERROR: '$1' is not a valid tool" >&2