Set shell options
Set shell options

Set some shell options. Some of these are set to their default values,
but we apply them nonetheless to be sure across distros.

darnir/dotfiles,darnir/dotfiles,darnir/dotfiles,darnir/dotfiles