threads / patch / 4436

patch, 2 partsrepo-config: learn the flag "--no-local"

Subject: [PATCH 2/2] repo-config: learn the flag "--no-local"

## tl;dr

21 messages between Jun 8, 2006 and Jun 8, 2006. Diffs are folded; open one to read it.

replies: 20people: 8as markdown or json

Johannes Schindelin· Jun 8, 2006, 11:31 UTC · lore

Since there is a global config now, we need a way to access it conveniently. Now you can say

	git repo-config --no-local alias.l "log --stat -M ORIG_HEAD.."
to set the alias globally (it will be stored in ~/.gitconfig).
Signed-off-by: Johannes Schindelin <Johannes.Schindelin@gmx.de>
---
 cache.h       |    1 +
 config.c      |   23 ++++++++++++++++++-----
 repo-config.c |    5 ++++-
 3 files changed, 23 insertions(+), 6 deletions(-)
Show changes to 3 files +23 −6

cache.h, config.c, repo-config.c

diff --git a/cache.h b/cache.h
index d5d7fe4..14fe5c8 100644
--- a/cache.h
+++ b/cache.h
@@ -348,6 +348,7 @@ extern void packed_object_info_detail(st
 /* Dumb servers support */
 extern int update_server_info(int);
 
+extern int git_ignore_local_config;
 typedef int (*config_fn_t)(const char *, const char *);
 extern int git_default_config(const char *, const char *);
 extern int git_config_from_file(config_fn_t fn, const char *);
diff --git a/config.c b/config.c
index 0987943..33f9109 100644
--- a/config.c
+++ b/config.c
@@ -10,6 +10,7 @@ #include <regex.h>
 
 #define MAXNAME (256)
 
+int git_ignore_local_config = 0;
 static FILE *config_file;
 static const char *config_file_name;
 static int config_linenr;
@@ -327,7 +328,8 @@ int git_config(config_fn_t fn)
 			ret = 0;
 	}
 
-	ret += git_config_from_file(fn, git_path("config"));
+	if (!git_ignore_local_config)
+		ret += git_config_from_file(fn, git_path("config"));
 	return ret;
 }
 
@@ -501,10 +503,20 @@ int git_config_set_multivar(const char* 
 	int i, dot;
 	int fd = -1, in_fd;
 	int ret;
-	char* config_filename = strdup(git_path("config"));
-	char* lock_file = strdup(git_path("config.lock"));
+	char *config_filename, *lock_file;
 	const char* last_dot = strrchr(key, '.');
 
+	if (git_ignore_local_config) {
+		const char *home = getenv("HOME");
+		if (!home)
+			die("No home?");
+		config_filename = strdup(mkpath("%s/.gitconfig", home));
+		lock_file = strdup(mkpath("%s/.gitconfig.lock", home));
+	} else {
+		config_filename = strdup(git_path("config"));
+		lock_file = strdup(git_path("config.lock"));
+	}
+
 	/*
 	 * Since "key" actually contains the section name and the real
 	 * key name separated by a dot, we have to know where the dot is.
@@ -611,8 +623,9 @@ int git_config_set_multivar(const char* 
 		 * As a side effect, we make sure to transform only a valid
 		 * existing config file.
 		 */
-		if (git_config(store_aux)) {
-			fprintf(stderr, "invalid config file\n");
+		if (git_config_from_file(store_aux, config_filename)) {
+			fprintf(stderr, "invalid config file: %s\n",
+					config_filename);
 			free(store.key);
 			if (store.value_regex != NULL) {
 				regfree(store.value_regex);
diff --git a/repo-config.c b/repo-config.c
index 59c2bfb..8c0bb20 100644
--- a/repo-config.c
+++ b/repo-config.c
@@ -97,7 +97,8 @@ static int get_value(const char* key_, c
 
 	if (do_all && global)
 		git_config_from_file(show_config, global);
-	git_config_from_file(show_config, git_path("config"));
+	if (!git_ignore_local_config)
+		git_config_from_file(show_config, git_path("config"));
 	if (!do_all && !seen)
 		git_config_from_file(show_config, global);
 
@@ -125,6 +126,8 @@ int main(int argc, const char **argv)
 			type = T_BOOL;
 		else if (!strcmp(argv[1], "--list") || !strcmp(argv[1], "-l"))
 			return git_config(show_all_config);
+		else if (!strcmp(argv[1], "--no-local"))
+			git_ignore_local_config = 1;
 		else
 			break;
 		argc--;
-- 
1.4.0.rc1.g2f47-dirty
Lukas Sandström· Jun 8, 2006, 11:37 UTC · re: Johannes Schindelin · lore

Re: [PATCH 2/2] repo-config: learn the flag "--no-local"

Johannes Schindelin wrote:
Show 7 quoted lines
> Since there is a global config now, we need a way to access it
> conveniently. Now you can say
> 
> 	git repo-config --no-local alias.l "log --stat -M ORIG_HEAD.."
> 
> to set the alias globally (it will be stored in ~/.gitconfig).
> 
Wouldn't it make more sense to call the flag --global ?
/Lukas
Johannes Schindelin· Jun 8, 2006, 11:41 UTC · re: Lukas Sandström · lore

Re: [PATCH 2/2] repo-config: learn the flag "--no-local"

Hi,
On Thu, 8 Jun 2006, Lukas Sandström wrote:
Show 10 quoted lines
> Johannes Schindelin wrote:
> > Since there is a global config now, we need a way to access it
> > conveniently. Now you can say
> > 
> > 	git repo-config --no-local alias.l "log --stat -M ORIG_HEAD.."
> > 
> > to set the alias globally (it will be stored in ~/.gitconfig).
> > 
> 
> Wouldn't it make more sense to call the flag --global ?

Sure, why not? Other opinions? (I will not add a test case until this is resolved! ;-)

Ciao, Dscho

Karl Hasselström· Jun 8, 2006, 13:37 UTC · re: Johannes Schindelin · lore

Re: [PATCH 2/2] repo-config: learn the flag "--no-local"

On 2006-06-08 13:41:04 +0200, Johannes Schindelin wrote:
Show 15 quoted lines
> On Thu, 8 Jun 2006, Lukas Sandström wrote:
>
> > Johannes Schindelin wrote:
> > > Since there is a global config now, we need a way to access it
> > > conveniently. Now you can say
> > >
> > >   git repo-config --no-local alias.l "log --stat -M ORIG_HEAD.."
> > >
> > > to set the alias globally (it will be stored in ~/.gitconfig).
> > >
> >
> > Wouldn't it make more sense to call the flag --global ?
>
> Sure, why not? Other opinions? (I will not add a test case until
> this is resolved! ;-)

My vote goes to --no-local, but only if we also get a --no-no-local flag with the opposite meaning. Otherwise, I'd prefer --global. :-)

-- 
Karl Hasselström, kha@treskal.com
      www.treskal.com/kalle
Aneesh Kumar K.V· Jun 8, 2006, 15:35 UTC · re: Karl Hasselström · lore

Re: [PATCH 2/2] repo-config: learn the flag "--no-local"

On Thu, Jun 08, 2006 at 03:37:47PM +0200, Karl Hasselstr?m wrote:
Show 5 quoted lines
> On 2006-06-08 13:41:04 +0200, Johannes Schindelin wrote:
> 
> My vote goes to --no-local, but only if we also get a --no-no-local
> flag with the opposite meaning. Otherwise, I'd prefer --global. :-)
> 
I guess it makes much sense to rename the command to git-config and say 

git config alias.l -> for golbal config git config --repo alias.l -> for repo specific config

-aneesh
Jakub Narebski· Jun 8, 2006, 18:36 UTC · re: Aneesh Kumar K.V · lore

Re: [PATCH 2/2] repo-config: learn the flag "--no-local"

Aneesh Kumar K.V wrote:
Show 12 quoted lines
> On Thu, Jun 08, 2006 at 03:37:47PM +0200, Karl Hasselstr?m wrote:
>> On 2006-06-08 13:41:04 +0200, Johannes Schindelin wrote:
>> 
>> My vote goes to --no-local, but only if we also get a --no-no-local
>> flag with the opposite meaning. Otherwise, I'd prefer --global. :-)
>> 
> 
> 
> I guess it makes much sense to rename the command to git-config and say 
> 
> git config  alias.l  -> for golbal config 
> git config --repo alias.l -> for repo specific config 

And legacy "git repo-config" as equivalent of "git config --repo", perhaps implemented via alias mechanism (if there woul be system-wide coniguration file, otherwise in skeleton/template).

-- 
Jakub Narebski
Warsaw, Poland
Johannes Schindelin· Jun 8, 2006, 20:17 UTC · re: Jakub Narebski · lore

Re: [PATCH 2/2] repo-config: learn the flag "--no-local"

Hi,
On Thu, 8 Jun 2006, Jakub Narebski wrote:
> And legacy "git repo-config" as equivalent of "git config --repo", perhaps
> implemented via alias mechanism (if there woul be system-wide coniguration
> file, otherwise in skeleton/template).

Why use the alias mechanism? I, for one, never install git. So, this solution is rather fragile. But there are better ways: the builtin mechanism for one.

Ciao, Dscho

Alex Riesen· Jun 8, 2006, 14:06 UTC · re: Johannes Schindelin · lore

Re: [PATCH 2/2] repo-config: learn the flag "--no-local"

Show 6 quoted lines
> >
> > Wouldn't it make more sense to call the flag --global ?
>
> Sure, why not? Other opinions? (I will not add a test case until this is
> resolved! ;-)
>
"--no-gitconfig" (as "--norc" in bash).
Junio C Hamano· Jun 8, 2006, 16:25 UTC · re: Johannes Schindelin · lore

Re: [PATCH 2/2] repo-config: learn the flag "--no-local"

Johannes Schindelin <Johannes.Schindelin@gmx.de> writes:
Show 13 quoted lines
>> Johannes Schindelin wrote:
> On Thu, 8 Jun 2006, Lukas Sandström wrote:
>> > Since there is a global config now, we need a way to access it
>> > conveniently. Now you can say
>> > 
>> > 	git repo-config --no-local alias.l "log --stat -M ORIG_HEAD.."
>> > 
>> > to set the alias globally (it will be stored in ~/.gitconfig).
>> 
>> Wouldn't it make more sense to call the flag --global ?
>
> Sure, why not? Other opinions? (I will not add a test case until this is 
> resolved! ;-)

The wording "--no-local" means you are looking at things relative to a particular repository. I.e. some configuration variables come from repository-local file, and others from somewhere else. But I do not think that somewhere else is "global". We are reading from $HOME, which is different depending on who is interacting with that same repository. So I would probably call the other one "--user" or something if I were force to pick name.

But as you know, I am horrible at picking names, so please don't stop this from coming up with a good name the list can agree upon.

Sean· Jun 8, 2006, 16:36 UTC · re: Junio C Hamano · lore

Re: [PATCH 2/2] repo-config: learn the flag "--no-local"

On Thu, 08 Jun 2006 09:25:53 -0700 Junio C Hamano <junkio@cox.net> wrote:

Show 8 quoted lines
> The wording "--no-local" means you are looking at things
> relative to a particular repository.  I.e. some configuration
> variables come from repository-local file, and others from
> somewhere else.  But I do not think that somewhere else is
> "global".  We are reading from $HOME, which is different
> depending on who is interacting with that same repository.  So I
> would probably call the other one "--user" or something if I
> were force to pick name.

--user or --home makes a lot of sense. Alternatively you could just be explicit: --config=~ or --config=/etc/gitconfig where /.gitconfig is automatically appended to the path if it ends in a directory name.

Sean
Johannes Schindelin· Jun 8, 2006, 20:24 UTC · re: Sean · lore

Re: [PATCH 2/2] repo-config: learn the flag "--no-local"

Hi,
On Thu, 8 Jun 2006, Sean wrote:
Show 17 quoted lines
> On Thu, 08 Jun 2006 09:25:53 -0700
> Junio C Hamano <junkio@cox.net> wrote:
> 
> 
> > The wording "--no-local" means you are looking at things
> > relative to a particular repository.  I.e. some configuration
> > variables come from repository-local file, and others from
> > somewhere else.  But I do not think that somewhere else is
> > "global".  We are reading from $HOME, which is different
> > depending on who is interacting with that same repository.  So I
> > would probably call the other one "--user" or something if I
> > were force to pick name.
> 
> --user or --home makes a lot of sense.  Alternatively you could
> just be explicit: --config=~ or --config=/etc/gitconfig where
> /.gitconfig is automatically appended to the path if it ends in
> a directory name.

I think --user makes more sense than --home, since it does not matter _where_ it is stored, but _when_ it is retreived.

In the same vein, I do not think it is user friendly to expect the user to remember if it was .gitconfig, .git or .gitrc.

Ciao, Dscho

Sean· Jun 8, 2006, 20:30 UTC · re: Johannes Schindelin · lore

Re: [PATCH 2/2] repo-config: learn the flag "--no-local"

On Thu, 8 Jun 2006 22:24:31 +0200 (CEST) Johannes Schindelin <Johannes.Schindelin@gmx.de> wrote:

> I think --user makes more sense than --home, since it does not matter 
> _where_ it is stored, but _when_ it is retreived.
--home seems more natural to me for some reason but I don't feel strongly
about it.
 
> In the same vein, I do not think it is user friendly to expect the user to 
> remember if it was .gitconfig, .git or .gitrc.

Sure, was just thinking that this could be used by an administrator to modify _other_ users' configs.. but probably not worth it.

Cheers, Sean

Johannes Schindelin· Jun 8, 2006, 20:42 UTC · re: Sean · lore

Re: [PATCH 2/2] repo-config: learn the flag "--no-local"

Hi,
On Thu, 8 Jun 2006, Sean wrote:
Show 8 quoted lines
> On Thu, 8 Jun 2006 22:24:31 +0200 (CEST)
> Johannes Schindelin <Johannes.Schindelin@gmx.de> wrote:
> 
> > I think --user makes more sense than --home, since it does not matter 
> > _where_ it is stored, but _when_ it is retreived.
> 
> --home seems more natural to me for some reason but I don't feel strongly
> about it.
I'd like to know how --home tells you when this key is retreived.
Show 5 quoted lines
> > In the same vein, I do not think it is user friendly to expect the user to 
> > remember if it was .gitconfig, .git or .gitrc.
> 
> Sure, was just thinking that this could be used by an administrator to
> modify _other_ users' configs.. but probably not worth it.

The admin has no business messing around with the users' configuration. And if she absolutely wants to be a BOFH, she can fire up any editor, or copy .gitconfig to /root/.gitconfig, use git-config, and copy it back, or do what she does all the time: "su <user>". But frankly, we should not support a bad work flow.

BTW it is the same reason I would rather not see /etc/gitconfig: it meddles with an existing configuration. If you want to give defaults, you can use a skeleton for $HOME, and templates for $GIT_DIR. As a user, I would be very surprised if the behaviour of git changed from one day to the other without my changing anything.

Ciao, Dscho

Sean· Jun 8, 2006, 20:55 UTC · re: Johannes Schindelin · lore

Re: [PATCH 2/2] repo-config: learn the flag "--no-local"

On Thu, 8 Jun 2006 22:42:17 +0200 (CEST) Johannes Schindelin <Johannes.Schindelin@gmx.de> wrote:

> I'd like to know how --home tells you when this key is retreived.
I honestly don't know.  How does --user tell you when this key is retrieved?
Show 11 quoted lines
> The admin has no business messing around with the users' configuration. 
> And if she absolutely wants to be a BOFH, she can fire up any editor, or 
> copy .gitconfig to /root/.gitconfig, use git-config, and copy it back, or 
> do what she does all the time: "su <user>". But frankly, we should not 
> support a bad work flow.
> 
> BTW it is the same reason I would rather not see /etc/gitconfig: it 
> meddles with an existing configuration. If you want to give defaults, you 
> can use a skeleton for $HOME, and templates for $GIT_DIR. As a user, I 
> would be very surprised if the behaviour of git changed from one day to 
> the other without my changing anything.

This seems like a rather heavy handed policy for an application to enforce. To my mind, these types of decisions are best left up to administrators; obviously we can't guess all the creative ways git will be used beforehand.

Sean
Johannes Schindelin· Jun 8, 2006, 21:10 UTC · re: Sean · lore

Re: [PATCH 2/2] repo-config: learn the flag "--no-local"

Hi,
On Thu, 8 Jun 2006, Sean wrote:
Show 7 quoted lines
> On Thu, 8 Jun 2006 22:42:17 +0200 (CEST)
> Johannes Schindelin <Johannes.Schindelin@gmx.de> wrote:
> 
> > I'd like to know how --home tells you when this key is retreived.
> 
> I honestly don't know.  How does --user tell you when this key is 
> retrieved?

If I have --user vs. --repo, then I expect the setting to be active for the user vs. the repository, respectively.

Show 14 quoted lines
> > The admin has no business messing around with the users' configuration. 
> > And if she absolutely wants to be a BOFH, she can fire up any editor, or 
> > copy .gitconfig to /root/.gitconfig, use git-config, and copy it back, or 
> > do what she does all the time: "su <user>". But frankly, we should not 
> > support a bad work flow.
> > 
> > BTW it is the same reason I would rather not see /etc/gitconfig: it 
> > meddles with an existing configuration. If you want to give defaults, you 
> > can use a skeleton for $HOME, and templates for $GIT_DIR. As a user, I 
> > would be very surprised if the behaviour of git changed from one day to 
> > the other without my changing anything.
> 
> This seems like a rather heavy handed policy for an application to enforce.
> To my mind, these types of decisions are best left up to administrators; 
Clearly, you have not met the same administrators as I did.
> obviously we can't guess all the creative ways git will be used beforehand.

That is right, but is it for somebody else to decide the creative way, or for you?

Ciao, Dscho

Sean· Jun 8, 2006, 21:23 UTC · re: Johannes Schindelin · lore

Re: [PATCH 2/2] repo-config: learn the flag "--no-local"

On Thu, 8 Jun 2006 23:10:15 +0200 (CEST) Johannes Schindelin <Johannes.Schindelin@gmx.de> wrote:

> If I have --user vs. --repo, then I expect the setting to be active for 
> the user vs. the repository, respectively.

*shrug* This seems exactly the same for --home; like I said I don't care enough to argue about it though.

> Clearly, you have not met the same administrators as I did.
Maybe not.
 
> > obviously we can't guess all the creative ways git will be used beforehand.
> 
> That is right, but is it for somebody else to decide the creative way, or 
> for you?

My argument was that we should not build in policies that assume administrators are incompetent. That we should put the tools in their hands and not restrict them. That lets them be as creative as they want and not constrained because we have a preexisting opinion about their abilities or an opinion about the policies they should follow with regard to their users files etc.

Anyway, i'm bowing out of this discussion because i'm sure you'll decide a reasonable course of action.

Cheers, Sean

Jakub Narebski· Jun 8, 2006, 20:55 UTC · re: Johannes Schindelin · lore

Re: [PATCH 2/2] repo-config: learn the flag "--no-local"

Johannes Schindelin wrote:
Show 5 quoted lines
> BTW it is the same reason I would rather not see /etc/gitconfig: it 
> meddles with an existing configuration. If you want to give defaults, you 
> can use a skeleton for $HOME, and templates for $GIT_DIR. As a user, I 
> would be very surprised if the behaviour of git changed from one day to 
> the other without my changing anything.

I agree wholeheartily. I guess that the 'skeleton' part has yet to be written...

-- 
Jakub Narebski
Warsaw, Poland
Johannes Schindelin· Jun 8, 2006, 21:03 UTC · re: Jakub Narebski · lore

Re: [PATCH 2/2] repo-config: learn the flag "--no-local"

Hi,
On Thu, 8 Jun 2006, Jakub Narebski wrote:
Show 10 quoted lines
> Johannes Schindelin wrote:
> 
> > BTW it is the same reason I would rather not see /etc/gitconfig: it 
> > meddles with an existing configuration. If you want to give defaults, you 
> > can use a skeleton for $HOME, and templates for $GIT_DIR. As a user, I 
> > would be very surprised if the behaviour of git changed from one day to 
> > the other without my changing anything.
> 
> I agree wholeheartily. I guess that the 'skeleton' part has yet to be
> written...

I don't know what exactly you mean: the skeleton copying part, or the default .gitconfig?

As for the skeleton copying part, on the machine I am writing this on, there is a /etc/skel/ directory, which is automatically copied to the $HOME of every newly created user.

As for the default .gitconfig (which you could put into /etc/skel/): if the default behaviour of git is not to your liking, just make a $HOME/.gitconfig, and once you are satisfied with it, stick a copy into /etc/skel!

Ciao, Dscho

Jakub Narebski· Jun 8, 2006, 21:15 UTC · re: Johannes Schindelin · lore

Re: [PATCH 2/2] repo-config: learn the flag "--no-local"

Johannes Schindelin wrote:
Show 8 quoted lines
> Hi,
> 
> On Thu, 8 Jun 2006, Jakub Narebski wrote:
> 
>> Johannes Schindelin wrote:
>> 
>> > BTW it is the same reason I would rather not see /etc/gitconfig: it 
>> > meddles with an existing configuration. If you want to give defaults,
you 
Show 9 quoted lines
>> > can use a skeleton for $HOME, and templates for $GIT_DIR. As a user, I 
>> > would be very surprised if the behaviour of git changed from one day to 
>> > the other without my changing anything.
>> 
>> I agree wholeheartily. I guess that the 'skeleton' part has yet to be
>> written...
> 
> I don't know what exactly you mean: the skeleton copying part, or the 
> default .gitconfig?

No, I mean the default skeleton for .gitconfig/.gitrc in git distribution or git deb/rpm, and install copying it to appropriate drectory (/etc/skel/ if installed as root, or $HOME if installed as an ordinary user).

-- 
Jakub Narebski
Warsaw, Poland
Aneesh Kumar K.V· Jun 8, 2006, 15:32 UTC · re: Johannes Schindelin · lore

Re: [PATCH 2/2] repo-config: learn the flag "--no-local"

On Thu, Jun 08, 2006 at 01:31:46PM +0200, Johannes Schindelin wrote:
Show 8 quoted lines
> 
> Since there is a global config now, we need a way to access it
> conveniently. Now you can say
> 
> 	git repo-config --no-local alias.l "log --stat -M ORIG_HEAD.."
> 
> to set the alias globally (it will be stored in ~/.gitconfig).
> 
how about  making the above 
   git config --repo alias.l "log --stat -M ORIG_HEAD.."
-aneesh
Johannes Schindelin· Jun 8, 2006, 20:18 UTC · re: Aneesh Kumar K.V · lore

Re: [PATCH 2/2] repo-config: learn the flag "--no-local"

Hi,
On Thu, 8 Jun 2006, Aneesh Kumar K.V wrote:
Show 13 quoted lines
> On Thu, Jun 08, 2006 at 01:31:46PM +0200, Johannes Schindelin wrote:
> > 
> > Since there is a global config now, we need a way to access it
> > conveniently. Now you can say
> > 
> > 	git repo-config --no-local alias.l "log --stat -M ORIG_HEAD.."
> > 
> > to set the alias globally (it will be stored in ~/.gitconfig).
> > 
> 
> how about  making the above 
> 
>    git config --repo alias.l "log --stat -M ORIG_HEAD.."

IMHO it would be a sane thing to make this default. Most config variables are repository dependent.

Ciao, Dscho

← back to recent threads