etc/options
changeset 76190 c72c5407a86f
parent 76168 aab9bb081f01
child 76195 a1f458f089b9
equal deleted inserted replaced
76189:778152d51e97 76190:c72c5407a86f
   285 
   285 
   286 public option spell_checker_exclude : string = "document_marker,antiquoted,raw_text"
   286 public option spell_checker_exclude : string = "document_marker,antiquoted,raw_text"
   287   -- "excluded markup elements for spell-checker (separated by commas)"
   287   -- "excluded markup elements for spell-checker (separated by commas)"
   288 
   288 
   289 
   289 
   290 section "Secure Shell"
   290 section "Secure Shell (OpenSSH)"
   291 
   291 
   292 option ssh_batch_mode : bool = true
   292 public option ssh_batch_mode : bool = true
   293   -- "enable SSH batch mode (no user interaction)"
   293   -- "enable SSH batch mode (no user interaction)"
   294 
   294 
   295 option ssh_multiplexing : bool = true
   295 public option ssh_multiplexing : bool = true
   296   -- "enable multiplexing of SSH sessions (ignored on Windows)"
   296   -- "enable multiplexing of SSH sessions (ignored on Windows)"
   297 
   297 
   298 option ssh_compression : bool = true
   298 public option ssh_compression : bool = true
   299   -- "enable SSH compression"
   299   -- "enable SSH compression"
   300 
   300 
   301 option ssh_alive_interval : real = 30
   301 public option ssh_alive_interval : real = 30
   302   -- "time interval to keep SSH server connection alive (seconds, ignore value < 0)"
   302   -- "time interval to keep SSH server connection alive (seconds, ignore value < 0)"
   303 
   303 
   304 option ssh_alive_count_max : int = 3
   304 public option ssh_alive_count_max : int = 3
   305   -- "maximum number of messages to keep SSH server connection alive (ignore value < 0)"
   305   -- "maximum number of messages to keep SSH server connection alive (ignore value < 0)"
   306 
   306 
   307 
   307 
   308 section "Phabricator"
   308 section "Phabricator"
   309 
   309