From 841be34968c91c3ea8d8694bc5910e6388f58cbb Mon Sep 17 00:00:00 2001 From: Victor Boivie Date: Tue, 5 Apr 2011 11:31:10 +0200 Subject: Don't prompt the user for name/email unless necessary If the user has already configured a workspace, use these values when re-running 'repo init'. Otherwise, if the user has global name and e-mail set, use these. It's always possible to override this and be prompted by specifying --config-name when running 'repo init'. Change-Id: If45f0e4b14884071439fb02709dc5cb53f070f60 --- repo | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'repo') diff --git a/repo b/repo index 1c71f072..0b20a9b8 100755 --- a/repo +++ b/repo @@ -139,6 +139,11 @@ group.add_option('--no-repo-verify', dest='no_repo_verify', action='store_true', help='do not verify repo source code') +# Other +group = init_optparse.add_option_group('Other options') +group.add_option('--config-name', + dest='config_name', action="store_true", default=False, + help='Always prompt for name/e-mail') class CloneFailure(Exception): """Indicate the remote clone of repo itself failed. -- cgit v1.2.3-54-g00ecf