version 1.15, 2007/02/20 01:44:16 |
version 1.16, 2007/02/20 16:59:24 |
|
|
vinit(void) |
vinit(void) |
{ |
{ |
char file[FILENAME_MAX], *cp; |
char file[FILENAME_MAX], *cp; |
|
int written; |
value_t *p; |
value_t *p; |
FILE *fp; |
FILE *fp; |
|
|
|
|
* Read the .tiprc file in the HOME directory |
* Read the .tiprc file in the HOME directory |
* for sets |
* for sets |
*/ |
*/ |
if (strlen(value(HOME)) + sizeof("/.tiprc") > sizeof(file)) { |
written = snprintf(file, sizeof(file), "%s/.tiprc", value(HOME)); |
|
if (written < 0 || written >= sizeof(file)) { |
(void)fprintf(stderr, "Home directory path too long: %s\n", |
(void)fprintf(stderr, "Home directory path too long: %s\n", |
value(HOME)); |
value(HOME)); |
} else { |
} else { |
snprintf(file, sizeof file, "%s/.tiprc", value(HOME)); |
|
if ((fp = fopen(file, "r")) != NULL) { |
if ((fp = fopen(file, "r")) != NULL) { |
char *tp; |
char *tp; |
|
|