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

cjdns service: optional extraHosts #21592

Merged
merged 2 commits into from Jan 4, 2017

Conversation

joachifm
Copy link
Contributor

@joachifm joachifm commented Jan 2, 2017

An alternative to #21249 that preserves history.

joachifm and others added 2 commits January 2, 2017 19:31
This reverts commit 60ded3f.

We want to make this optional instead.
Enabling this incurs a heavy eval-time cost, but it's a nice usability
enhancement; satisfy both concerns by making it optional (default
false).
@mention-bot
Copy link

@joachifm, thanks for your PR! By analyzing the history of the files in this pull request, we identified @ehmry, @spacekitteh and @edolstra to be potential reviewers.

@joachifm joachifm mentioned this pull request Jan 2, 2017
7 tasks
@joachifm joachifm merged commit 9e0dc9f into NixOS:master Jan 4, 2017
@ghost
Copy link

ghost commented Jan 11, 2017 via email

@joachifm joachifm deleted the cjdns-optional-extraHosts branch February 9, 2017 14:43
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