diff --git a/index.html b/index.html index 847d2349b..8d5416ba9 100644 --- a/index.html +++ b/index.html @@ -1,6 +1,6 @@ -
ca.desrt.dconf?+
ca.desrt.dconf?This manual will eventually describe how to install, use, and extend Home Manager.
diff --git a/options.html b/options.html index 97aa59152..8c0090210 100644 --- a/options.html +++ b/options.html @@ -5,9 +5,7 @@ } -
Declared by:
- <home-manager/modules/services/lieer.nix>
- | ||||||||||||||||
+ Declared by: accounts.email.accounts.<name>.lieer.settingsSettings which are applied to +See the lieer manual +for documentation of settings not explicitly covered by this module. + Type: JSON value Default: Declared by:
accounts.email.accounts.<name>.lieer.settings.drop_non_existing_labelAllow missing labels on the Gmail side to be dropped. Type: boolean Default: Declared by:
accounts.email.accounts.<name>.lieer.settings.file_extensionExtension to include in local file names, which can be useful +for indexing with third-party programs. + Type: string Default: Example: Declared by:
accounts.email.accounts.<name>.lieer.settings.ignore_empty_historyWork around a Gmail API quirk where an empty change history +is sometimes returned. + +See this +GitHub issue +for more details. + Type: boolean Default: Declared by:
accounts.email.accounts.<name>.lieer.settings.ignore_remote_labelsSet Gmail labels to ignore when syncing from remote labels to +local tags (before translations). + Type: list of strings Default: Declared by:
accounts.email.accounts.<name>.lieer.settings.ignore_tagsSet labels to ignore when syncing from local tags to +remote labels (after translations). + Type: list of strings Default: Declared by:
accounts.email.accounts.<name>.lieer.settings.local_trash_tagLocal tag to which the remote Gmail 'TRASH' label is translated. + Type: string Default: Declared by:
accounts.email.accounts.<name>.lieer.settings.remove_local_messagesRemove local messages that have been deleted on the remote. + Type: boolean Default: Declared by:
accounts.email.accounts.<name>.lieer.settings.replace_slash_with_dotReplace '/' with '.' in Gmail labels. + Type: boolean Default: Declared by:
accounts.email.accounts.<name>.lieer.settings.timeoutHTTP timeout in seconds. 0 means forever or system timeout. + Type: unsigned integer, meaning >=0 Default: Declared by:
accounts.email.accounts.<name>.lieer.sync.enableWhether to enable lieer synchronization service. Type: boolean Default: Example: Declared by:
|