#!/bin/sh set -e DIR=$(mktemp -d -t pluckerXXXXXX) trap "rm -rf $DIR" 0 2 3 15 cat > $DIR/map.viking < $DIR/gps.viking <