fetch_host (string, default: pdb; valid values: pdb, pdbe, pdbj) Controls the server from which PDB are fetched. Specify the European PDB server with 'pdbe' and the Japanese PDB server with 'pdbj'. This setting defaults to the US server.
(boolean, default: false) when running without a GUI
, don’t quit after the input is exhausted
setting/batch.txt · Last modified: 2013/11/06 22:39 by vertrees