Change shell properties with Linux shopt command