blob: 16db50dfbf04fef981305f5740732089f6864ea7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
#!/bin/rc -e
p=`{cleanname -d `{pwd} $1}
n=`{echo $p | sed 's,\.orig,,'}
dir=`{basename -d $p}
if(! test -d /n/sources/plan9){
rfork n
9fs sources
}
if(test -e /n/sources/plan9$n)
echo /n/sources/plan9$n: replacing existing file >[1=2]
mkdir -p /n/sources/plan9$dir
echo cp $p /n/sources/plan9$n
cp $p /n/sources/plan9$n
|