mirrors/armbian_build
1
0
Fork 0
mirror of https://github.com/armbian/build.git synced 2025-08-10 13:16:58 +02:00
Code Issues Actions 4 Packages Projects Releases Wiki Activity
074857ede3
armbian_build/lib/functions/logging
History
Ricardo Pardini 568f6aecd0
armbian-next: logging: helpers for handling special logging if stdout is a terminal (user-interactive) 
- introduce `if_user_on_terminal_and_not_logging_add()`;
- also the opposite, `if_user_not_on_terminal_or_is_logging_add()`
- unset `CURRENT_LOGGING_SECTION` when exiting a logging section
- introduce `do_with_logging_unless_user_terminal()`
2023-02-18 07:40:36 -03:00
..
capture.sh armbian-next: lib changes - MEGASQUASH - squashed changes from c9cf3fc241cfb4c872f4aef7bbc41d5854db7ea3 to 6809de3d6063cb041205a8318e19da6a4dee68c9 ref extensions_08_10_2022_pre_v30 2023-02-18 07:38:46 -03:00
logging.sh armbian-next: logging: helpers for handling special logging if stdout is a terminal (user-interactive) 2023-02-18 07:40:36 -03:00
runners.sh armbian-next: aggregation.py rewrite; introduce package-lists.sh; usage in core lib 2023-02-18 07:40:22 -03:00
stacktraces.sh armbian-next: lib changes - MEGASQUASH - squashed changes from c9cf3fc241cfb4c872f4aef7bbc41d5854db7ea3 to 6809de3d6063cb041205a8318e19da6a4dee68c9 ref extensions_08_10_2022_pre_v30 2023-02-18 07:38:46 -03:00
traps.sh armbian-next: the great cli entrypoint (+docker) rewrite; introduce USE_LOCAL_APT_DEB_CACHE replacing apt-cacher-ng 2023-02-18 07:39:43 -03:00