|
|
1.1 root 1: #!/bin/csh
2: # shell script which is given arguments
3: # sourcedir destdir file1 file2 ... filen
4: # it generates a shell command to create those files based on
5: # the text that follows the command.
6: # the code will come from sourcedir/filei, it will go to
7: # destdir/filei when extracted
8: #
9: set sourcedir=$argv[1]
10: shift argv
11: set destdir=$argv[1]
12: unset time
13: while ($#argv > 1)
14: shift argv
15: echo "cat > " $destdir/$argv[1] " << 'EndOfFile'"
16: cat $sourcedir/$argv[1]
17: echo EndOfFile
18: end
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.