2018-05-19 08:56:43 +00:00
|
|
|
|
2024-01-21 15:26:23 +00:00
|
|
|
extern const char *selected_config_file;
|
2021-01-25 14:16:29 +00:00
|
|
|
char *options_strdup(const char *s);
|
2018-05-19 08:56:43 +00:00
|
|
|
void option_add(int short_option, const char *long_option, int parameter_count);
|
2021-03-11 06:38:00 +00:00
|
|
|
int options_config_file(int argc, char *argv[], const char *config_file, int (*handle_options)(int short_option, int argi, char *argv[]));
|
2018-05-19 08:56:43 +00:00
|
|
|
int options_command_line(int argc, char *argv[], int (*handle_options)(int short_option, int argi, char *argv[]));
|
|
|
|
int option_is_first(void);
|
2021-01-25 14:16:29 +00:00
|
|
|
void options_free(void);
|
2018-05-19 08:56:43 +00:00
|
|
|
|