]> matita.cs.unibo.it Git - helm.git/blob - helm/scripts/makeit
64553523e67789a47b17043c3ff6c38005cbf619
[helm.git] / helm / scripts / makeit
1 #!/bin/sh
2
3 if test $# != 1; then
4         echo "Usage: makeit <from>"
5         echo
6   echo "<from> is the machine we connect from"
7         exit 1
8 fi
9         
10 sed -e "s/@FROM@/$1/"