Differences
This shows you the differences between the selected revisions of the page.
2023-05-30 | 2023-06-21 (current) | ||
Bug 1892: Support file mask in Keep local directory up to date extension (martin) | releasing 6.1.1 (martin) | ||
Line 232: | Line 232: | ||
In the //Interval// box, specify an interval between the checks for changes. | In the //Interval// box, specify an interval between the checks for changes. | ||
- | In the //File mask// box, you can specify [[file_mask|file mask]] to select/deselect files (or file types) and directories for the synchronization. &future_feature | + | In the //File mask// box, you can specify [[file_mask|file mask]] to select/deselect files (or file types) and directories for the synchronization. |
In the //Session log file//, you can specify a path to a [[logging|session log file]]. The option is available on the [[ui_pref_commands|Preferences dialog]] only. | In the //Session log file//, you can specify a path to a [[logging|session log file]]. The option is available on the [[ui_pref_commands|Preferences dialog]] only. |