Skip to content

Change target names without invalidation? #462

Closed Answered by wlandau
joelnitta asked this question in Help
Discussion options

You must be logged in to vote

I tried this in drake, but it did not go well. The main problem was reverse dependencies: if you rename a target, the downstream targets that depend on it need to update their commands, which invalidates those targets. So I do not think it is feasible. The other challenge was changing the name without changing the RNG seed, which turned out to be awkward because default target seeds in drake are automatically computed from target names. In targets, there is no way to set the seed independently from the target name, and so far I do not think the reasons in favor of such a feature are compelling enough.

Replies: 1 comment 4 replies

Comment options

You must be logged in to vote
4 replies
@shirdekel
Comment options

@wlandau
Comment options

@shirdekel
Comment options

@joelnitta
Comment options

Answer selected by joelnitta
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Category
Help
Labels
None yet
3 participants