history file provider for shell