#!/bin/sh

H=/.menthe/home/lin/xinu/xinu/ether/ee

echo "rcp $* lin@martini.cs:$H"
rcp $* lin@martini.cs:$H
