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

Move .pub to .dart_tool/pub #1795

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

Move .pub to .dart_tool/pub #1795

natebosch opened this issue Feb 1, 2018 · 2 comments
Assignees
@nex3

Comments

@natebosch
Copy link
Member

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
Copy link
Member

kevmoo 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
@nex3
Use .dart_tool/pub as the cache directory
f929e13 
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 as completed 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
Copy link
Member

mit-mit 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
Assignees

@nex3 nex3

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
4 participants
@nex3 @kevmoo @natebosch @mit-mit