diff frontends/src/quick_frontend/quick_profile_manager.py @ 2282:d8e48c850ad2

jp (input): log improvments + empty filter: - more colors in debug logs - read values are printed if verbosity is >= 2 - stdout and stderr of each command can be written in files using --log and --log-err - --empty option allow to ignore arguments if its value is empty, or skip the whole row
author Goffi <goffi@goffi.org>
date Wed, 28 Jun 2017 23:49:55 +0200
parents 978011533892
children 8b37a62336c3
line wrap: on
line diff