#!/bin/sh
#
# Read a shell script from stdin, and echo it to stdout, but place the spell
# specified in $1 in the first line
#

# Do I really have to put this under the GPL??? If you like it, just make it
# by yourself, that might also make a better impression...

read LINE
echo "#!$1"
cat