Release config lock if the regex is invalid
[git.git] / config.c
blob11d65f8c70b692327de5bfaa8afe1e7979aafea6
1 /*
2 * GIT - The information manager from hell
4 * Copyright (C) Linus Torvalds, 2005
5 * Copyright (C) Johannes Schindelin, 2005
7 */
8 #include "cache.h"
9 #include <regex.h>
11 #define MAXNAME (256)
13 static FILE *config_file;
14 static const char *config_file_name;
15 static int config_linenr;
16 static int get_next_char(void)
18 int c;
19 FILE *f;
21 c = '\n';
22 if ((f = config_file) != NULL) {
23 c = fgetc(f);
24 if (c == '\r') {
25 /* DOS like systems */
26 c = fgetc(f);
27 if (c != '\n') {
28 ungetc(c, f);
29 c = '\r';
32 if (c == '\n')
33 config_linenr++;
34 if (c == EOF) {
35 config_file = NULL;
36 c = '\n';
39 return c;
42 static char *parse_value(void)
44 static char value[1024];
45 int quote = 0, comment = 0, len = 0, space = 0;
47 for (;;) {
48 int c = get_next_char();
49 if (len >= sizeof(value))
50 return NULL;
51 if (c == '\n') {
52 if (quote)
53 return NULL;
54 value[len] = 0;
55 return value;
57 if (comment)
58 continue;
59 if (isspace(c) && !quote) {
60 space = 1;
61 continue;
63 if (!quote) {
64 if (c == ';' || c == '#') {
65 comment = 1;
66 continue;
69 if (space) {
70 if (len)
71 value[len++] = ' ';
72 space = 0;
74 if (c == '\\') {
75 c = get_next_char();
76 switch (c) {
77 case '\n':
78 continue;
79 case 't':
80 c = '\t';
81 break;
82 case 'b':
83 c = '\b';
84 break;
85 case 'n':
86 c = '\n';
87 break;
88 /* Some characters escape as themselves */
89 case '\\': case '"':
90 break;
91 /* Reject unknown escape sequences */
92 default:
93 return NULL;
95 value[len++] = c;
96 continue;
98 if (c == '"') {
99 quote = 1-quote;
100 continue;
102 value[len++] = c;
106 static int get_value(config_fn_t fn, char *name, unsigned int len)
108 int c;
109 char *value;
111 /* Get the full name */
112 for (;;) {
113 c = get_next_char();
114 if (c == EOF)
115 break;
116 if (!isalnum(c))
117 break;
118 name[len++] = tolower(c);
119 if (len >= MAXNAME)
120 return -1;
122 name[len] = 0;
123 while (c == ' ' || c == '\t')
124 c = get_next_char();
126 value = NULL;
127 if (c != '\n') {
128 if (c != '=')
129 return -1;
130 value = parse_value();
131 if (!value)
132 return -1;
134 return fn(name, value);
137 static int get_base_var(char *name)
139 int baselen = 0;
141 for (;;) {
142 int c = get_next_char();
143 if (c == EOF)
144 return -1;
145 if (c == ']')
146 return baselen;
147 if (!isalnum(c) && c != '.')
148 return -1;
149 if (baselen > MAXNAME / 2)
150 return -1;
151 name[baselen++] = tolower(c);
155 static int git_parse_file(config_fn_t fn)
157 int comment = 0;
158 int baselen = 0;
159 static char var[MAXNAME];
161 for (;;) {
162 int c = get_next_char();
163 if (c == '\n') {
164 /* EOF? */
165 if (!config_file)
166 return 0;
167 comment = 0;
168 continue;
170 if (comment || isspace(c))
171 continue;
172 if (c == '#' || c == ';') {
173 comment = 1;
174 continue;
176 if (c == '[') {
177 baselen = get_base_var(var);
178 if (baselen <= 0)
179 break;
180 var[baselen++] = '.';
181 var[baselen] = 0;
182 continue;
184 if (!isalpha(c))
185 break;
186 var[baselen] = tolower(c);
187 if (get_value(fn, var, baselen+1) < 0)
188 break;
190 die("bad config file line %d in %s", config_linenr, config_file_name);
193 int git_config_int(const char *name, const char *value)
195 if (value && *value) {
196 char *end;
197 int val = strtol(value, &end, 0);
198 if (!*end)
199 return val;
201 die("bad config value for '%s' in %s", name, config_file_name);
204 int git_config_bool(const char *name, const char *value)
206 if (!value)
207 return 1;
208 if (!*value)
209 return 0;
210 if (!strcasecmp(value, "true"))
211 return 1;
212 if (!strcasecmp(value, "false"))
213 return 0;
214 return git_config_int(name, value) != 0;
217 int git_default_config(const char *var, const char *value)
219 /* This needs a better name */
220 if (!strcmp(var, "core.filemode")) {
221 trust_executable_bit = git_config_bool(var, value);
222 return 0;
225 if (!strcmp(var, "core.ignorestat")) {
226 assume_unchanged = git_config_bool(var, value);
227 return 0;
230 if (!strcmp(var, "core.prefersymlinkrefs")) {
231 prefer_symlink_refs = git_config_bool(var, value);
232 return 0;
235 if (!strcmp(var, "core.warnambiguousrefs")) {
236 warn_ambiguous_refs = git_config_bool(var, value);
237 return 0;
240 if (!strcmp(var, "user.name")) {
241 strncpy(git_default_name, value, sizeof(git_default_name));
242 return 0;
245 if (!strcmp(var, "user.email")) {
246 strncpy(git_default_email, value, sizeof(git_default_email));
247 return 0;
250 if (!strcmp(var, "i18n.commitencoding")) {
251 strncpy(git_commit_encoding, value, sizeof(git_commit_encoding));
252 return 0;
255 /* Add other config variables here and to Documentation/config.txt. */
256 return 0;
259 int git_config_from_file(config_fn_t fn, const char *filename)
261 int ret;
262 FILE *f = fopen(filename, "r");
264 ret = -1;
265 if (f) {
266 config_file = f;
267 config_file_name = filename;
268 config_linenr = 1;
269 ret = git_parse_file(fn);
270 fclose(f);
271 config_file_name = NULL;
273 return ret;
276 int git_config(config_fn_t fn)
278 return git_config_from_file(fn, git_path("config"));
282 * Find all the stuff for git_config_set() below.
285 #define MAX_MATCHES 512
287 static struct {
288 int baselen;
289 char* key;
290 int do_not_match;
291 regex_t* value_regex;
292 int multi_replace;
293 off_t offset[MAX_MATCHES];
294 enum { START, SECTION_SEEN, SECTION_END_SEEN, KEY_SEEN } state;
295 int seen;
296 } store;
298 static int matches(const char* key, const char* value)
300 return !strcmp(key, store.key) &&
301 (store.value_regex == NULL ||
302 (store.do_not_match ^
303 !regexec(store.value_regex, value, 0, NULL, 0)));
306 static int store_aux(const char* key, const char* value)
308 switch (store.state) {
309 case KEY_SEEN:
310 if (matches(key, value)) {
311 if (store.seen == 1 && store.multi_replace == 0) {
312 fprintf(stderr,
313 "Warning: %s has multiple values\n",
314 key);
315 } else if (store.seen >= MAX_MATCHES) {
316 fprintf(stderr, "Too many matches\n");
317 return 1;
320 store.offset[store.seen] = ftell(config_file);
321 store.seen++;
323 break;
324 case SECTION_SEEN:
325 if (strncmp(key, store.key, store.baselen+1)) {
326 store.state = SECTION_END_SEEN;
327 break;
328 } else
329 /* do not increment matches: this is no match */
330 store.offset[store.seen] = ftell(config_file);
331 /* fallthru */
332 case SECTION_END_SEEN:
333 case START:
334 if (matches(key, value)) {
335 store.offset[store.seen] = ftell(config_file);
336 store.state = KEY_SEEN;
337 store.seen++;
338 } else if (strrchr(key, '.') - key == store.baselen &&
339 !strncmp(key, store.key, store.baselen))
340 store.state = SECTION_SEEN;
342 return 0;
345 static void store_write_section(int fd, const char* key)
347 write(fd, "[", 1);
348 write(fd, key, store.baselen);
349 write(fd, "]\n", 2);
352 static void store_write_pair(int fd, const char* key, const char* value)
354 int i;
356 write(fd, "\t", 1);
357 write(fd, key+store.baselen+1,
358 strlen(key+store.baselen+1));
359 write(fd, " = ", 3);
360 for (i = 0; value[i]; i++)
361 switch (value[i]) {
362 case '\n': write(fd, "\\n", 2); break;
363 case '\t': write(fd, "\\t", 2); break;
364 case '"': case '\\': write(fd, "\\", 1);
365 default: write(fd, value+i, 1);
367 write(fd, "\n", 1);
370 static int find_beginning_of_line(const char* contents, int size,
371 int offset_, int* found_bracket)
373 int equal_offset = size, bracket_offset = size;
374 int offset;
376 for (offset = offset_-2; offset > 0
377 && contents[offset] != '\n'; offset--)
378 switch (contents[offset]) {
379 case '=': equal_offset = offset; break;
380 case ']': bracket_offset = offset; break;
382 if (bracket_offset < equal_offset) {
383 *found_bracket = 1;
384 offset = bracket_offset+1;
385 } else
386 offset++;
388 return offset;
391 int git_config_set(const char* key, const char* value)
393 return git_config_set_multivar(key, value, NULL, 0);
397 * If value==NULL, unset in (remove from) config,
398 * if value_regex!=NULL, disregard key/value pairs where value does not match.
399 * if multi_replace==0, nothing, or only one matching key/value is replaced,
400 * else all matching key/values (regardless how many) are removed,
401 * before the new pair is written.
403 * Returns 0 on success.
405 * This function does this:
407 * - it locks the config file by creating ".git/config.lock"
409 * - it then parses the config using store_aux() as validator to find
410 * the position on the key/value pair to replace. If it is to be unset,
411 * it must be found exactly once.
413 * - the config file is mmap()ed and the part before the match (if any) is
414 * written to the lock file, then the changed part and the rest.
416 * - the config file is removed and the lock file rename()d to it.
419 int git_config_set_multivar(const char* key, const char* value,
420 const char* value_regex, int multi_replace)
422 int i;
423 int fd, in_fd;
424 int ret;
425 char* config_filename = strdup(git_path("config"));
426 char* lock_file = strdup(git_path("config.lock"));
427 const char* last_dot = strrchr(key, '.');
430 * Since "key" actually contains the section name and the real
431 * key name separated by a dot, we have to know where the dot is.
434 if (last_dot == NULL) {
435 fprintf(stderr, "key does not contain a section: %s\n", key);
436 ret = 2;
437 goto out_free;
439 store.baselen = last_dot - key;
441 store.multi_replace = multi_replace;
444 * Validate the key and while at it, lower case it for matching.
446 store.key = (char*)malloc(strlen(key)+1);
447 for (i = 0; key[i]; i++)
448 if (i != store.baselen &&
449 ((!isalnum(key[i]) && key[i] != '.') ||
450 (i == store.baselen+1 && !isalpha(key[i])))) {
451 fprintf(stderr, "invalid key: %s\n", key);
452 free(store.key);
453 ret = 1;
454 goto out_free;
455 } else
456 store.key[i] = tolower(key[i]);
457 store.key[i] = 0;
460 * The lock_file serves a purpose in addition to locking: the new
461 * contents of .git/config will be written into it.
463 fd = open(lock_file, O_WRONLY | O_CREAT | O_EXCL, 0666);
464 if (fd < 0) {
465 fprintf(stderr, "could not lock config file\n");
466 free(store.key);
467 ret = -1;
468 goto out_free;
472 * If .git/config does not exist yet, write a minimal version.
474 in_fd = open(config_filename, O_RDONLY);
475 if ( in_fd < 0 ) {
476 free(store.key);
478 if ( ENOENT != errno ) {
479 error("opening %s: %s", config_filename,
480 strerror(errno));
481 close(fd);
482 unlink(lock_file);
483 ret = 3; /* same as "invalid config file" */
484 goto out_free;
486 /* if nothing to unset, error out */
487 if (value == NULL) {
488 close(fd);
489 unlink(lock_file);
490 ret = 5;
491 goto out_free;
494 store.key = (char*)key;
495 store_write_section(fd, key);
496 store_write_pair(fd, key, value);
497 } else{
498 struct stat st;
499 char* contents;
500 int i, copy_begin, copy_end, new_line = 0;
502 if (value_regex == NULL)
503 store.value_regex = NULL;
504 else {
505 if (value_regex[0] == '!') {
506 store.do_not_match = 1;
507 value_regex++;
508 } else
509 store.do_not_match = 0;
511 store.value_regex = (regex_t*)malloc(sizeof(regex_t));
512 if (regcomp(store.value_regex, value_regex,
513 REG_EXTENDED)) {
514 fprintf(stderr, "Invalid pattern: %s\n",
515 value_regex);
516 free(store.value_regex);
517 close(fd);
518 unlink(lock_file);
519 ret = 6;
520 goto out_free;
524 store.offset[0] = 0;
525 store.state = START;
526 store.seen = 0;
529 * After this, store.offset will contain the *end* offset
530 * of the last match, or remain at 0 if no match was found.
531 * As a side effect, we make sure to transform only a valid
532 * existing config file.
534 if (git_config(store_aux)) {
535 fprintf(stderr, "invalid config file\n");
536 free(store.key);
537 if (store.value_regex != NULL) {
538 regfree(store.value_regex);
539 free(store.value_regex);
541 ret = 3;
542 goto out_free;
545 free(store.key);
546 if (store.value_regex != NULL) {
547 regfree(store.value_regex);
548 free(store.value_regex);
551 /* if nothing to unset, or too many matches, error out */
552 if ((store.seen == 0 && value == NULL) ||
553 (store.seen > 1 && multi_replace == 0)) {
554 close(fd);
555 unlink(lock_file);
556 ret = 5;
557 goto out_free;
560 fstat(in_fd, &st);
561 contents = mmap(NULL, st.st_size, PROT_READ,
562 MAP_PRIVATE, in_fd, 0);
563 close(in_fd);
565 if (store.seen == 0)
566 store.seen = 1;
568 for (i = 0, copy_begin = 0; i < store.seen; i++) {
569 if (store.offset[i] == 0) {
570 store.offset[i] = copy_end = st.st_size;
571 } else if (store.state != KEY_SEEN) {
572 copy_end = store.offset[i];
573 } else
574 copy_end = find_beginning_of_line(
575 contents, st.st_size,
576 store.offset[i]-2, &new_line);
578 /* write the first part of the config */
579 if (copy_end > copy_begin) {
580 write(fd, contents + copy_begin,
581 copy_end - copy_begin);
582 if (new_line)
583 write(fd, "\n", 1);
585 copy_begin = store.offset[i];
588 /* write the pair (value == NULL means unset) */
589 if (value != NULL) {
590 if (store.state == START)
591 store_write_section(fd, key);
592 store_write_pair(fd, key, value);
595 /* write the rest of the config */
596 if (copy_begin < st.st_size)
597 write(fd, contents + copy_begin,
598 st.st_size - copy_begin);
600 munmap(contents, st.st_size);
601 unlink(config_filename);
604 close(fd);
606 if (rename(lock_file, config_filename) < 0) {
607 fprintf(stderr, "Could not rename the lock file?\n");
608 ret = 4;
609 goto out_free;
612 ret = 0;
614 out_free:
615 if (config_filename)
616 free(config_filename);
617 if (lock_file)
618 free(lock_file);
619 return ret;