projtool.pl: accept gc --aggressive for --force --redelta
commit59728efa17d2dc95010967b548b23d75bd6d5278
authorKyle J. McKay <mackyle@gmail.com>
Fri, 2 Jul 2021 00:09:11 +0000 (1 17:09 -0700)
committerKyle J. McKay <mackyle@gmail.com>
Fri, 2 Jul 2021 00:09:11 +0000 (1 17:09 -0700)
tree03a50981699e31c1eb9e4837df3a9f95b180a35a
parent23e1c008a7842ad2333f673885e17cfee7d6848b
projtool.pl: accept gc --aggressive for --force --redelta

The standard `git gc` command accepts no options, `--auto` and
`--aggressive` to activate various modes.  By adding support for
`--aggressive` it becomes a simple matter to translate the normal
`git gc` command into the equivalent `projtool.pl gc` command without
needing to exercise the gray matter.

The equivalent of `git gc --aggressive` as far as `projtool.pl gc`
is concerned is just `projtool.pl gc --force --redelta` which is
already supported.

Make `--aggressive` activate the `--force` and `--redelta` options.

Since a plain `projtool.pl gc` already roughly corresponds to a
plain `git gc` and a `projtool.pl gc --auto` already roughly
corresponds to `git gc --auto` this change completes the trifecta.

Signed-off-by: Kyle J. McKay <mackyle@gmail.com>
toolbox/projtool.pl