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

Issue 12063 #12127

Closed
wants to merge 7 commits into from

Conversation

Projects
None yet
2 participants
@JoshuaRM
Copy link
Contributor

JoshuaRM commented Jan 24, 2019

Summary

Solves the feature request from #12063. This ticket did not get approved, but the request has gone 7 days without an answer, so I completed the pull request anyways.

This changes the keras/keras/backend/__init__.py file. Now it performs a check for the .keras directory in the current directory if KERAS_HOME is not already set. If .keras does not exist, it sets it to ~ or /tmp as before.

Related Issues

PR Overview

  • This PR requires new unit tests [y/n] (make sure tests are included)
  • This PR requires to update the documentation [y/n] (make sure the docs are up-to-date)
  • This PR is backwards compatible [y/n]
  • This PR changes the current API [y/n] (all API changes need to be approved by fchollet)

JoshuaRM added some commits Oct 14, 2018

Update backend.md
Added documentation for loading an external backend
Created documentation for switching to external backend
Added documentation to the "Switching from one backend to another" section of the documentation
Issue 12063
Added check for `.keras` directory in the current directory before setting to `~` or `/tmp`
@gabrieldemarmiesse

This comment has been minimized.

Copy link
Member

gabrieldemarmiesse commented Feb 8, 2019

I'll close this PR as it's not sure yet that we want this feature. We'll discuss it in the issue.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.