Tutorial para la instalación de TinyOS sobre Linux.

Si utiliza una distribución de Linux basada en Debian, como Ubutnu, entonces debe instalar TinyOS utilizando el repositorio.

  1. Agregar el siguiente repositorio de TinyOS a /etc/apt/sources.list (Distribuciones soportadas: edgy, feisty, gutsy, hardy, jaunty, karmic, lucid)
deb http://tinyos.stanford.edu/tinyos/dists/ubuntu <distribution> main
  1. Actualizar el cache de los repositorios:
sudo apt-get update
  1. Instalar TinyOS ejecutando el siguiente comando:
sudo apt-get install tinyos

Si arroja un mensaje pidiendo escoger entre 2 versiones, ejecutar el siguiente comando:

sudo apt-get install tinyos-2.1.1
  1. Agregar lo siguiente al final de ~/.bashrc para configurar el entorno al iniciar el sistema:
 #Sourcing the tinyos environment variable setup script
source /opt/tinyos-2.1.1/tinyos.sh


Comentarios durante instalación en notebook de Agustín
  1. En efecto fue necesario correr:
    sudo apt-get install tinyos-2.1.1
  2. En .bashrc decidí agregar:
  3. if [ -f /opt/tinyos-2.1.1/tinyos.sh ] ; then
    source /opt/tinyos-2.1.1/tinyos.sh
    fi
  4. Luego ejecuté
    $tos-check-env para verificar el entorno de tinyos.
  5. Luego me sugirió modificar el CLASSPATH en /opt/tinyos-2.1.1/tinyos.sh
    CLASSPATH=$CLASSPATH:$TOSROOT/support/sdk/java/tinyos.jar:.