%% %% This is file `texosquery.cfg', %% generated with the docstrip utility. %% %% The original source files were: %% %% texosquery.dtx (with options: `texosquery.cfg') %% %% Please follow the instructions below. % This configuration file must be edited to match your system. % Copy the file to your TEXMFLOCAL or TEXMFHOME tree to prevent it % from being overwritten by updates. % 1. Check your version of Java. To do this run % java -version % from your command line. % * If the version number starts with "1.5" or "1.6" then % \TeXOSInvokerName must be texosquery-jre5 % % * If the version number starts with "1.7" then % \TeXOSInvokerName must be texosquery % % * If the version number starts with "1.8" then % \TeXOSInvokerName must be texosquery-jre8 % (bash users need to check that the .sh extension has been removed % from the bash scripts.) \def\TeXOSInvokerName{texosquery} % 2. If the invoker name given in the definition above is on the % restricted list, uncomment the line below to allow it to be run % in restricted mode: %\TeXOSQueryAllowRestricted % Leave it commented out if the invoker name is not on the % restricted list. \endinput %% %% End of file `texosquery.cfg'.