Caren Thomas a4d869b95f ensure that eden repository can't create multiple entries with the same name ... Summary: Fix a bug with the eden repository command that let it add multiple repositories with the same name. If an entry for repository 'name' already exists in the home ~/.edenrc config file, the eden repository command will now raise an error message saying that the repository already exists. Note that if an entry for repository 'name' exists in any of the global /etc/eden/config.d/* files, the eden repository command will still allow the user to create the new repository and will add an entry for 'name' to the home ~/.edenrc config file (since entries in home config file overwrite those in global) Reviewed By: wez Differential Revision: D3529743 fbshipit-source-id: b7c7ceef6ef38fcd3b4ff9a92fbd23a4a0bd6951		2016-07-07 19:11:04 -07:00
..
cli	ensure that eden repository can't create multiple entries with the same name	2016-07-07 19:11:04 -07:00
config	Verify that ~/.edenrc exists before adding it to the list of config files to check.	2016-07-06 21:15:32 -07:00
inodes	eden: implement rename for files, add test for sed -i	2016-07-05 19:54:21 -07:00
integration	restructure eden directory	2016-07-06 16:15:50 -07:00
model	eden: ensure that TreeEntry's are imported in sorted order	2016-07-07 13:37:49 -07:00
overlay	eden: implement rename for files, add test for sed -i	2016-07-05 19:54:21 -07:00
rocksdb	Include build files that were inadvertently excluded from the initial export.	2016-05-12 16:08:34 -07:00
service	update ClientConfig class to parse INI file	2016-07-06 16:15:50 -07:00
store	eden: ensure that TreeEntry's are imported in sorted order	2016-07-07 13:37:49 -07:00