a few linux configurations