settings for os/linux