#!/bin/bash

if [ -z "$1" ]; then
	echo "usage: $0 <device-id>"
	echo
	echo "device-id:     Unique number of this device. Will go into the last byte of the IP address."
	exit 1
fi

set -euo pipefail

HOSTID="$1"

DEV=hamnet70

sudo ip tuntap add dev $DEV mode tun pi user $(whoami)
sudo ip link set dev $DEV txqueuelen 16  # default is 500
sudo ip link set dev $DEV up
sudo ip address add dev $DEV fd73::$HOSTID/64