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

Config: Prioritize userprofile for HOME search #1772

Merged
merged 1 commit into from Aug 8, 2014

Conversation

am11
Copy link
Contributor

@am11 am11 commented Jul 22, 2014

In Windows, it turns out if the current user is
not the default user, environment.HOME
returns drive root instead of the user-profile
directory.

This PR change the priority. This change will
not break the current usage / implementations.

In Windows, it turns out if the current user is
not the default user, `environment.HOME`
returns drive root instead of the user-profile
directory.

This PR change the priority. This change will
not break the current usage / implementations.
@am11
Copy link
Contributor Author

am11 commented Aug 7, 2014

@rwaldron, please review this too! :)

rwaldron added a commit that referenced this pull request Aug 8, 2014
Config: Prioritize userprofile for HOME search
@rwaldron rwaldron merged commit e99e69c into jshint:master Aug 8, 2014
@am11
Copy link
Contributor Author

am11 commented Aug 8, 2014

👍

@am11 am11 deleted the home-dir branch August 8, 2014 20:50
jugglinmike pushed a commit to jugglinmike/jshint that referenced this pull request Oct 21, 2014
Config: Prioritize userprofile for HOME search
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants