shell settings: Separate HIST{FILE,}SIZE and equivalents