Skip to content

Search path#178

Open
Peter7645946 wants to merge 12 commits intoc42f:masterfrom
Peter7645946:searchPath
Open

Search path#178
Peter7645946 wants to merge 12 commits intoc42f:masterfrom
Peter7645946:searchPath

Conversation

@Peter7645946
Copy link
Copy Markdown

See #177

@c42f
Copy link
Copy Markdown
Owner

c42f commented Nov 5, 2017

Thanks for taking the time to do this!

As discussed on #177 I think that, on balance, this would be better done with an environment variable rather than a new command line option.

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.

2 participants