Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Remove/deprecate store_drake_config(), read_drake_config(), read_drake_graph(), etc. #653

Closed
wlandau opened this issue Jan 6, 2019 · 0 comments
Closed

Remove/deprecate store_drake_config(), read_drake_config(), read_drake_graph(), etc. #653

wlandau opened this issue Jan 6, 2019 · 0 comments
Assignees
@wlandau
Labels
status: priority topic: performance
Milestone
Version 7.0.0

Comments

@wlandau
Copy link
Member

wlandau commented Jan 6, 2019

Ref: #647. It is a time sink, and it is unnecessary. We should not need to store any part of the drake_config() object. loadd(deps = TRUE) and clean() will likely need to compensate, but it will be well worth it.
@wlandau wlandau added this to the Version 7.0.0 milestone Jan 6, 2019
@wlandau wlandau self-assigned this Jan 6, 2019
@wlandau wlandau modified the milestone: Version 7.0.0 Jan 6, 2019
@wlandau wlandau closed this as completed in 8551117 Jan 7, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@wlandau wlandau

Labels
status: priority topic: performance
Projects
None yet
Milestone
Version 7.0.0
Development

No branches or pull requests
1 participant
@wlandau