[KARAF-5456] introduce a property karaf.shell.history.file.maxSize to configure the history file size on disk

• Type: Improvement
• Status: Resolved
• Priority: Trivial
• Resolution: Fixed
• Fix Version/s: 4.2.0.M2
• Assignee: Freeman Yue Fang
• Reporter: Freeman Yue Fang
• Created: 03/Nov/17 07:50
• Updated: 26/Dec/17 09:00
• Resolved: 07/Nov/17 08:18

Description

currently we have karaf.shell.history.maxSize which is in-memory history size configuration, and the history file size on disk is controlled by another property in jline, we should be able to configure it in Karaf as well