#ifndef DOS_PATH_SUPPORT
#define DOS_PATH_SUPPORT

#include <string.h>
#include "stdc.h"
#include "command.h"

extern char path_separator;
extern int path_expand;
extern int test_finds_exe;

void initialize_dos_vars __P (());
void expand_argv_words __P ((WORD_LIST *list));
int try_init_path_var __P ((const char *name, char **val));
char *export_path_var __P ((const char *name, const char *val));
char *make_posix_path_from_filename __P ((const char *in));
void save_cwd __P (());
void make_path_vars_bash __P (());
void make_path_vars_dos __P (());
const char * find_extension __P ((const char *path));
const char * find_path_extension __P ((const char *path, const char *file));
const char * find_one_extension __P ((const char *path, const char *ext));
char * get_real_path __P ((const char *path));
void reserve_fds __P ((void));
void init_path_separator __P ((void));
char *rpl_getcwd __P ((char *buf, size_t size));
char *dospath_getcwd __P ((char *buf, size_t size));
char *encode_drive_letter __P ((char *buffer, const char letter));
static inline
int is_dev_drive_path (const char *path)
{
  if (strncmp ("/dev/", path, 5) == 0 && path[5]
      && (path[6] == '/' || path[6] == '\0'))
    return 1;
  return 0;
}

#endif /* DOS_PATH_SUPPORT */

