Skip to content
New issue

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

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

Already on GitHub? # to your account

Start in the HOME folder. #243

Merged
merged 1 commit into from
Aug 28, 2014
Merged

Start in the HOME folder. #243

merged 1 commit into from
Aug 28, 2014

Conversation

narnaud
Copy link
Contributor

@narnaud narnaud commented Aug 26, 2014

No description provided.

@MartiUK
Copy link
Member

MartiUK commented Aug 26, 2014

%HOME% and %USERPROFILE% are the same for me, are you sure this is needed?

@narnaud
Copy link
Contributor Author

narnaud commented Aug 26, 2014

It is necessary for people like me who does not define %HOME% as %USERPROFILE%
(I have a set HOME=D:\nicolas here).

It doesn't change anything for people like you, it means a lot for people like me ;)

@MartiUK
Copy link
Member

MartiUK commented Aug 26, 2014

Sorry man, I'm expecting more trouble for those who don't have %HOME% defined.

@MartiUK MartiUK closed this Aug 26, 2014
@narnaud
Copy link
Contributor Author

narnaud commented Aug 28, 2014

Why?
%HOME% is defined in the init.bat file:

:: Set home path
@if not defined HOME set HOME=%USERPROFILE%

So HOME is always defined, either explicitely (like me) or implicitely (like you)

@MartiUK
Copy link
Member

MartiUK commented Aug 28, 2014

Alright, alright.

@MartiUK MartiUK reopened this Aug 28, 2014
MartiUK added a commit that referenced this pull request Aug 28, 2014
Start in the HOME folder.
@MartiUK MartiUK merged commit 63120b8 into cmderdev:master Aug 28, 2014
@narnaud narnaud deleted the fix-home branch August 29, 2014 11:13
@pihug12 pihug12 mentioned this pull request Sep 2, 2014
# for free to join this conversation on GitHub. Already have an account? # to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants