Re: [Flent-users] [tohojo/flent] Stable output filenames for batch runs (#179)

["Dave Täht" <notifications@github.com>]

[-- Attachment #1.1: Type: text/plain, Size: 1357 bytes --]

Pete Heist <notifications@github.com> writes:

> Currently, the output filenames for batches always include batch_time:
>
>     def gen_filename(self, settings, batch, argset, rep):
>         filename = "batch-%s-%s-%s" % (
>             settings.BATCH_NAME,
>             batch['batch_time'],
>             batch.get('filename_extra', "%s-%s" % (argset, rep))
>         )
>         return clean_path(filename)
>
> On one hand, this ensures that output filenames are unique, but on the
> other hand, one can't create stable links to the output filenames that
> don't change between runs, for example in a static HTML or markdown
> file.
>
> What I could do is add a filename_no_time or similar parameter that if
> set to anything "truthy" (maybe if s in [ '1', 'true', 'yes' ]),
> excludes the time from the filename, then it's up to people to
> properly set filename_extra.
>
> Would you be ok if I do that, or do you have any other suggestions for
> this?

--no-time

>
> —
> You are receiving this because you are subscribed to this thread.
> Reply to this email directly, view it on GitHub, or mute the thread.


-- 
You are receiving this because you commented.
Reply to this email directly or view it on GitHub:
https://github.com/tohojo/flent/issues/179#issuecomment-528885668

[-- Attachment #1.2: Type: text/html, Size: 3034 bytes --]

[-- Attachment #2: Type: text/plain, Size: 151 bytes --]

_______________________________________________
Flent-users mailing list
Flent-users@flent.org
http://flent.org/mailman/listinfo/flent-users_flent.org