From db38593403b18911678b1aab89c0948f40c3febf Mon Sep 17 00:00:00 2001 From: Mike Samuel Date: Thu, 17 Mar 2022 12:36:15 -0600 Subject: [PATCH] Docs typo: `Columns separated` -> `Colon separated` I believe "colon" was intended because *HISTORY_IGNORE*'s value is passed to `matchPatterns` which converts colons to Regex `|`. https://github.com/jline/jline3/blob/c6ae2c1295c81893456a38ae69509693a690b50d/reader/src/main/java/org/jline/reader/impl/history/DefaultHistory.java#L402-L403 --- reader/src/main/java/org/jline/reader/LineReader.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/reader/src/main/java/org/jline/reader/LineReader.java b/reader/src/main/java/org/jline/reader/LineReader.java index b572075c7..f09f20871 100644 --- a/reader/src/main/java/org/jline/reader/LineReader.java +++ b/reader/src/main/java/org/jline/reader/LineReader.java @@ -352,7 +352,7 @@ public interface LineReader { String AMBIGUOUS_BINDING = "ambiguous-binding"; /** - * Columns separated list of patterns that will not be saved in history. + * Colon separated list of patterns that will not be saved in history. */ String HISTORY_IGNORE = "history-ignore";