search

gdupont1 / rodin-hs

A collection of Haskell modules for handling Rodin files
GNU General Public License v3.0
0 stars 0 forks source link

The possibility to name the output file #7

Closed Rpeter99 closed 3 years ago

Rpeter99 commented 3 years ago

Have the possibility in a command line to have a option will take as argument the output file name.

gdupont1 commented 3 years ago

Problem is that the tool is made for batch treatment. This would require to have the possibility to specify an (optional) output for each input file, something like:

rodin-read [...] file1 -o file1.out file2 file3 -o file3.out ...

This may be investigated later.

gdupont1 commented 3 years ago

After further investigation, the current (batch-oriented) architecture of the tool does not allow an easy fix for this request.

We advise to use a script to rename files as a post treatment from the tool.