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

Look for a .psci file in the user's home directory #883

Closed
paf31 opened this issue Feb 18, 2015 · 1 comment
Closed

Look for a .psci file in the user's home directory #883

paf31 opened this issue Feb 18, 2015 · 1 comment
Labels
purs repl type: enhancement
Milestone
Approved

Comments

@paf31
Copy link
Contributor

paf31 commented Feb 18, 2015

The file in the current directory takes precedence if it exists.
@paf31 paf31 added this to the Backlog milestone Feb 18, 2015
@paf31
Copy link
Contributor Author

paf31 commented Feb 18, 2015

Extracted from #882

mjgpy3 added a commit to mjgpy3/purescript that referenced this issue Jul 21, 2015
@mjgpy3
Resolves purescript#883. Look in home directory first for '.psci'
96078fa
@mjgpy3 mjgpy3 mentioned this issue Jul 21, 2015
Closed
mjgpy3 added a commit to mjgpy3/purescript that referenced this issue Jul 21, 2015
@mjgpy3
Resolves purescript#883. Look in home directory (after pwd) for '.psci'
866a6a6
@mjgpy3 mjgpy3 mentioned this issue Jul 21, 2015
Merged
mjgpy3 added a commit to mjgpy3/purescript that referenced this issue Jul 21, 2015
@mjgpy3
Resolves purescript#883. Look in home directory (after pwd) for '.psci'
288c682
mjgpy3 added a commit to mjgpy3/purescript that referenced this issue Jul 22, 2015
@mjgpy3
Resolves purescript#883. Look in home directory (after pwd) for '.psci'
a701868
paf31 added a commit that referenced this issue Jul 22, 2015
@paf31
Merge pull request #1294 from mjgpy3/psci_config_in_home
c813b84 
Resolves #883. Look in home directory (after pwd) for '.psci'
@garyb garyb mentioned this issue Aug 3, 2015
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
purs repl type: enhancement
Projects
None yet
Milestone
Approved
Development

No branches or pull requests
1 participant
@paf31