Allowing `@options` to be goal-specific
xonixx opened this issue · 1 comments
xonixx commented
This idea pops for some time. Sometimes it makes sense to make some goals silent (like ./makesure ssh
) whereas the global setting is @option timings
@options timing
@goal ssh
@options silent
ssh user@host
Pros
- More flexibility
- More feature
Cons
- More complexity
- It's not 100% clear how global + local and local in goal1 + local in goal2 should work.
- We might need the option to turn the option off, which adds to complexity
xonixx commented
Won't do: the necessity is not 100% clear.