Improved default settings for Linux machines vendredi 11 juillet 2014 à 16:40 Binerf, le 26/06/2014 à 11:29 (Permalink) dooby, le 11/07/2014 à 16:40 via blue, again !on mettait déjà en place certain des tweaks, mais là au moins c'est un document centralisé qui contient tout :)(Permalink)