/usr/include/zsh/options.epro is in zsh-dev 5.1.1-1ubuntu2.3.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 | /* Generated automatically */
#ifndef have_Src_options_globals
#define have_Src_options_globals
extern mod_import_variable int emulation;
extern mod_import_variable Emulation_options sticky;
extern mod_import_variable char opts[OPT_SIZE];
extern mod_import_variable HashTable optiontab;
extern void createoptiontable _((void));
extern void installemulation _((int new_emulation,char*new_opts));
extern void emulate _((const char*zsh_name,int fully,int*new_emulation,char*new_opts));
extern int bin_setopt _((char*nam,char**args,UNUSED(Options ops),int isun));
extern mod_import_function int optlookup _((char const*name));
extern int optlookupc _((char c));
extern mod_import_function int dosetopt _((int optno,int value,int force,char*new_opts));
extern char*dashgetfn _((UNUSED(Param pm)));
extern void printoptionstates _((int hadplus));
extern void printoptionlist _((void));
#endif /* !have_Src_options_globals */
|