Previous: Switches for gnatchop, Up: Renaming Files Using gnatchop
gnatchop
Usagegnatchop -w hello_s.ada ichbiah/files
gnatchop archive
gnatchop
is in sending sets of sources
around, for example in email messages. The required sources are simply
concatenated (for example, using a Unix cat
command), and then
gnatchop
is used at the other end to reconstitute the original
file names.
gnatchop file1 file2 file3 direc
-w
switch,
in which case the last occurrence in the last file will
be the one that is output, and earlier duplicate occurrences for a given
unit will be skipped.