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

Rename USER_HOME_EXPAND to UserHomeExpand and add documentation #447

Merged
merged 1 commit into from
Jan 14, 2016

Conversation

ChrisJefferson
Copy link
Contributor

The function USER_HOME_EXPAND expands an initial ~ in a filename to the user's home directory. It is used in several places and it seems worth promoting to a documented function.

USER_NAME_EXPAND is left, because we need this function very early during startup, in particular before functions like Error exist, so we have UserNameExpand with nice input checking which calls USER_NAME_EXPAND.

@olexandr-konovalov olexandr-konovalov added the gapsagedays2016 Issues and PRs that arose at https://www.gapdays.de/gap-sage-days2016 label Jan 13, 2016
@stevelinton
Copy link
Contributor

I think you nean UserHome rather than UserName (and USER_HOME rather than USER_NAME) in the comment above.

stevelinton added a commit that referenced this pull request Jan 14, 2016
Rename USER_HOME_EXPAND to UserHomeExpand and add documentation
@stevelinton stevelinton merged commit 5808d4b into gap-system:master Jan 14, 2016
@ChrisJefferson ChrisJefferson deleted the userhomeexpand branch January 14, 2016 11:47
@frankluebeck
Copy link
Member

It is sensible to document this function as UserHomeExpand.

I have just sent another pull request #456 with a further iteration.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
gapsagedays2016 Issues and PRs that arose at https://www.gapdays.de/gap-sage-days2016
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants