From ee1c2f5717fcc137ab887a4aae8a08d50a539b9a Mon Sep 17 00:00:00 2001 From: Victor Boivie Date: Tue, 19 Apr 2011 10:50:12 +0200 Subject: Default repo manifest settings in git config A default manifest URL can be specified using: git config --global repo-manifest..url A default manifest server can be specified using: git config --global repo-manifest..server A default git mirror reference can be specified using: git config --global repo-manifest..reference This will allow the user to use 'repo init -u ' as a shorter alternative to specifying the full URL. Also, manifest server will not have to be specified in the manifest XML and the reference will not have to be specified on the command line. If they are, they will override these default values however. Change-Id: Ifdbc160bd5909ec7df9efb0c5d7136f1d9351754 Signed-off-by: Victor Boivie --- repo | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'repo') diff --git a/repo b/repo index 0e779833..1c71f072 100755 --- a/repo +++ b/repo @@ -28,7 +28,7 @@ if __name__ == '__main__': del magic # increment this whenever we make important changes to this script -VERSION = (1, 13) +VERSION = (1, 14) # increment this if the MAINTAINER_KEYS block is modified KEYRING_VERSION = (1,0) @@ -149,7 +149,7 @@ def _Init(args): """Installs repo by cloning it over the network. """ opt, args = init_optparse.parse_args(args) - if args or not opt.manifest_url: + if args: init_optparse.print_usage() sys.exit(1) -- cgit v1.2.3-54-g00ecf