high-yak-85899
06/24/2023, 4:05 AMtools part of shell_command instead of shell_source? It seems like if I have a common helper.sh file that I source into others, I'd have to repeat the tools that helper.sh needs every time I write a new shell_command. Anything I'm missing here?fast-nail-55400
06/24/2023, 6:57 AMtools should be added shell_source (and remain on shell_command)? Then the tools used for an invocation would be the merging of the tools on the shell_command plus all of the tools set on any tools field on the shell_source fields involved.broad-processor-92400
06/24/2023, 8:43 AMbroad-processor-92400
06/24/2023, 8:45 AMfast-nail-55400
06/24/2023, 4:17 PMTo alleviate severe repetition in cases you describe, a variable or macro with the relevant tools could be usedThat might work for setting
tools on shell_command targets but it seems to me that it would still require that the shell_command target have knowledge of what tools are used by any shell_source dependencies. I submit it would be better to allow encoding that tools knowledge at the location it is used, that is the shell_source target.fast-nail-55400
06/24/2023, 6:56 PM__defauts__ to set tools as needed)broad-processor-92400
06/24/2023, 9:34 PMtools = […] variable to pass to each of the N `shell_command`s that use a particular shell_source. Sorry for the confusionfast-nail-55400
06/24/2023, 9:40 PMfast-nail-55400
06/24/2023, 9:42 PM__defaults__ mechanism allows reducing the boilerplate of defining it on the shell_source. Having the ability to define it on a shell_source means it is defined for the shell file which needs the tool. Thus, readers of the code will understand why it is there. Whereas, if it was defined on the shell_command , readers of that target would need to understand what tools were used by the transitive set of dependencies which could be confusing to them.