random options used in i3/config