[Rock-dev] [rock] #115: rock-convert: wrong file names as output

[rock]

#115: rock-convert: wrong file names as output
-----------------------------+-----------------------------------
  Reporter:  sylvain.joyeux  |      Owner:  rock-dev-mailing-list
      Type:  enhancement     |     Status:  new
  Priority:  major           |  Component:  base
Resolution:                  |   Keywords:
-----------------------------+-----------------------------------

Comment (by sylvain.joyeux):

 Another idea: since the original files are not split, you can very well
 assume that the user does not want you to split the output either and just
 convert them one-to-one (i.e. disable splitting on size). A command-line
 option could override that, in which case the tool user should accept the
 modified numbering.

-- 
Ticket URL: <http://rock.opendfki.de/ticket/115#comment:3>
rock <http://rock.opendfki.de>
rock: the robot construction kit