--- /dev/null
+#!/bin/bash
+set -e
+
+if [ ! -d Downloads ]
+then
+ mkdir Downloads
+fi
+cd Downloads
+
+if [ -d raspberry-tools ]
+then
+ pushd raspberry-tools >/dev/null
+ git_up
+ popd >/dev/null
+else
+ # clone toolset
+ git clone https://github.com/raspberrypi/tools raspberry-tools
+fi
+