man bashで、HISTCONTROLの説明には ignorebothが書いて有るんだが、動かない。 A value of ignoreboth is shorthand for ignorespace and ignoredups. man bash HISTCONTROL A colon-separated list of values controlling how commands are saved on the history list. If the list of values includes ig‐ norespace, lines which begin with a space character are not saved in the history list. A value of ignoredups causes lines matching the

