pungi/bin
Lubomír Sedlář 8c22236ad4 gather: Print profiling information to stderr
On stdout it gets mixed with listing of gathered packages. This has no
effect in a real pungi-koji run, where both streams are merged into a
single file which is then parsed, but in manual debugging runs it's a
little obnoxious.

Signed-off-by: Lubomír Sedlář <lsedlar@redhat.com>
2018-04-25 14:21:09 +02:00
..
comps_filter Allow filtering comps for different variants 2018-04-13 14:56:06 +02:00
pungi Use Python 3 print function 2017-08-23 09:41:22 +02:00
pungi-config-validate validation: Populate dict of all variants 2018-04-20 10:03:01 +02:00
pungi-create-unified-isos Add script to generate unified ISOs 2017-01-04 10:22:20 +01:00
pungi-fedmsg-notification Update fedmsg notification hook to use appropriate config. 2015-12-08 12:30:16 -05:00
pungi-gather gather: Print profiling information to stderr 2018-04-25 14:21:09 +02:00
pungi-koji Move ostree phase and pipelines for running phases 2018-02-26 13:43:44 +01:00
pungi-make-ostree [ostree] Rename atomic to ostree 2016-04-05 09:14:00 +02:00
pungi-patch-iso Add a script for modifying ISO images 2017-03-21 07:55:19 +01:00
pungi-wait-for-signed-ostree-handler ostree: Add notification handler to wait for signature 2017-07-11 10:24:49 +02:00