[Gnu-arch-users] tla archive-mirror/ clone

[Zenaan Harkness]

In the tutorial, the following command sequence appears to create a
local mirror of a remote archive:

% tla register-archive address@hidden $remote_location
% tla make-archive --mirror-from address@hidden $local_location
% tla archive-mirror address@hidden

Is there any reason it wouldn't be good to combine these three commands
into something like:

% tla clone $remote_location $local_location

It would seem at least superficially easy to shell script...

??

tia
zen