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.

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

Move `.pub` to `.dart_tool/pub` #1795

Closed
natebosch opened this issue Feb 1, 2018 · 2 comments

Comments

@natebosch
Copy link
Member

commented Feb 1, 2018

See dart-lang/site-www#444 (comment)

We are using .dart_tool/ directory for the build system because we didn't want to mix with .pub/.
This directory has another level of namespacing (we use .dart_tool/build today) which would let us add .dart_tool/pub and reduce the number of directories the user needs to ignore.

Moving would be good in the long term, but add some short term pain during the transition.

cc @kevmoo

@kevmoo

This comment has been minimized.

Copy link
Member

commented Feb 1, 2018

👍– fewer directories is goodness.

@nex3 nex3 self-assigned this Feb 1, 2018

nex3 added a commit that referenced this issue Feb 2, 2018
Use .dart_tool/pub as the cache directory
Pub will continue to read cached files from .pub if it exists. Any
time it modifies the cache, it will migrate .pub to .dart_tool/pub.

Closes #1795

@nex3 nex3 closed this in 68a6c12 Feb 2, 2018

@mit-mit mit-mit changed the title Discussion - Move `.pub` to `.dart_tool/pub` Move `.pub` to `.dart_tool/pub` Feb 2, 2018

@mit-mit

This comment has been minimized.

Copy link
Member

commented Feb 2, 2018

re-titling to reflect that this wasn't just a discussion, the actual change was made

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
4 participants
You can’t perform that action at this time.