Ricardo Pardini d2bb1f893a extensions: many fixes; allow for dumping the source of hooks, via dump_extension_method_sources_functions() and dump_extension_method_sources_body() ... - fix: indent of generated sources - fix: no reason to source the generated file in a loop. do it once. 20x faster? - `dump_extension_method_sources_functions "name_of_hook"`: get function definitions (inside braces) - `dump_extension_method_sources_body "name_of_hook"`: get the function bodies (sans-braces)		2023-03-31 09:12:44 +02:00
..
functions	extensions: many fixes; allow for dumping the source of hooks, via dump_extension_method_sources_functions() and dump_extension_method_sources_body()	2023-03-31 09:12:44 +02:00
tools	aggregation: fix: don't eat value if empty during bash_string_multiline(); write end-of-file comment; show aggregation bash results if debugging	2023-03-31 09:12:44 +02:00
library-functions.sh	lib: update library-functions.sh (via bash lib/tools/gen-library.sh)	2023-03-31 09:12:44 +02:00
single.sh	Add / modify (c) in bash scripts (#4922)	2023-03-09 18:30:40 +01:00