#!/bin/sh
# Just a tiny script to take stdin and write it to $1
cat /dev/stdin > $1
