|
|
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.