From 36bcaef0cfd01ed0fcf0fe503a0cb395b7ff03ca Mon Sep 17 00:00:00 2001 From: Grzegorz Szymaszek Date: Wed, 18 Sep 2019 13:47:43 +0200 Subject: [PATCH] Ticket #4018: add "https://" to Debian sources.list syntax. Signed-off-by: Andrew Borodin --- misc/syntax/debian-sources-list.syntax | 1 + 1 file changed, 1 insertion(+) diff --git a/misc/syntax/debian-sources-list.syntax b/misc/syntax/debian-sources-list.syntax index 30d645753..2f279bfcf 100644 --- a/misc/syntax/debian-sources-list.syntax +++ b/misc/syntax/debian-sources-list.syntax @@ -6,6 +6,7 @@ context default context # \n brown/22 context ftp\:\/\/ \s green/6 context http\:\/\/ \s green/6 +context https\:\/\/ \s green/6 context cdrom\:\/ \s yellow/24 context file\:\/ \s brightcyan/14