Miscellany

export MYHOST=`wget -O /dev/stdout -q -4 http://whatismyip.org`
export HOST=`printf "2002:%02x%02x:%02x%02x::" \`echo ${MYHOST} | tr "." " "\``
export JHOST=`printf "2002:%02x%02x:%02x%02x:" \`echo ${MYHOST} | tr "." " "\``
echo "IPv4 host: ${MYHOST}  IPv6 host: ${HOST}1"
ip tunnel add tun6to4 mode sit ttl 0 remote any local ${MYHOST}
ip link set dev tun6to4 up
ip -6 addr add ${HOST}1 dev tun6to4
echo "Adding IPv6 route"
ip -6 route add 2000::/3 via ::192.88.99.1 dev tun6to4 metric 1