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 |