3.6 Using ribshrink

ribshrink is a utility to factorize archives from a series of RIB files, meaning that parts that are common to all RIBs are extracted and put into archives. This tool could dramatically reduce disk usage for automatically generated RIB sequences.
ribshrink accepts the following options:

` -d dir'

Specify an output directory.

` -prefix dir'

Specify a prefix for archive names.

` -overwrite'

Allows overwriting of existing files.

` -archiveminsize n'

Minimal size (in bytes) of extracted archives. The size is measured before compression so the actual archives can be smaller.

` -binary[-]'

Enable or disable binary output (default is on).

` -gzip[-]'

Enable or disable compression (default is on).

` -progress'

Write a trace of what is being done.

` -v'

Output version.

` -h'

Print this help.

No directories are created by ribshrink. If a directory is specified with `-d' or `-prefix', it must exist beforehand.

3Delight 10.0. Copyright 2000-2011 The 3Delight Team. All Rights Reserved.