getmail: fix port option type mismatch

Fixed type mismatch in commit 410f573226.
Added test case to ensure it works well.
This commit is contained in:
dnsdhrj 2019-10-24 14:40:37 +09:00 committed by Robert Helgesson
parent 1b987952b5
commit a177d0282f
No known key found for this signature in database
GPG key ID: 36BDAA14C2797E89
3 changed files with 10 additions and 7 deletions

View file

@ -31,7 +31,7 @@ let
[retriever] [retriever]
type = ${retrieverType} type = ${retrieverType}
server = ${imap.host} server = ${imap.host}
${optionalString (imap.port != null) "port = ${imap.port}"} ${optionalString (imap.port != null) "port = ${toString imap.port}"}
username = ${userName} username = ${userName}
password_command = (${passCmd}) password_command = (${passCmd})
mailboxes = ( ${renderedMailboxes} ) mailboxes = ( ${renderedMailboxes} )

View file

@ -2,7 +2,7 @@
[retriever] [retriever]
type = SimpleIMAPSSLRetriever type = SimpleIMAPSSLRetriever
server = imap.example.com server = imap.example.com
port = 993
username = home.manager username = home.manager
password_command = ('password-command') password_command = ('password-command')
mailboxes = ( 'INBOX', 'Sent', 'Work' ) mailboxes = ( 'INBOX', 'Sent', 'Work' )

View file

@ -10,11 +10,14 @@ with lib;
home.homeDirectory = "/home/hm-user"; home.homeDirectory = "/home/hm-user";
accounts.email.accounts = { accounts.email.accounts = {
"hm@example.com".getmail = { "hm@example.com" = {
enable = true; getmail = {
mailboxes = ["INBOX" "Sent" "Work"]; enable = true;
destinationCommand = "/bin/maildrop"; mailboxes = ["INBOX" "Sent" "Work"];
delete = false; destinationCommand = "/bin/maildrop";
delete = false;
};
imap.port = 993;
}; };
}; };