history size, format. sharing history between terminals