Settings for GNU/Linux