equal
deleted
inserted
replaced
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" |
291 |
291 |
|
292 option ssh_batch_mode : bool = true |
|
293 -- "enable SSH batch mode (no user interaction)" |
|
294 |
292 option ssh_multiplexing : bool = true |
295 option ssh_multiplexing : bool = true |
293 -- "enable multiplexing of SSH sessions (ignored on Windows)" |
296 -- "enable multiplexing of SSH sessions (ignored on Windows)" |
294 |
297 |
295 option ssh_compression : bool = true |
298 option ssh_compression : bool = true |
296 -- "enable SSH compression" |
299 -- "enable SSH compression" |