J'utilise aussi1 XMonad et j'en suis très satisfait. Je trouve que c'est un projet cool qui a des priorités cool (simplicité du code, modularité, tests par spécification, un langage original et intéressant...) et j'ai été on ne peut plus ravi par l'effort de Wouter Swiestra de prouver en Coq (PDF) certaines propriétés de correction du cœur de XMonad.
1: en réalité, en ce moment j'utilise Xfce pour une raison simple mais assez bête : quand j'utilise un tiling WM, les autres gens sont incapables d'utiliser mon ordinateur. Ça m'arrive assez souvent en fait qu'on me dise "tiens tu es connecté à internet? Je pourrais jeter un coup d'œil à ... ?", et dans ce cas là j'ai pas envie de devoir relancer une session X juste pour que la personne ne soit pas complètement perdue. Ça m'est arrivé quelques fois sous XMonad et c'était inutilement gênant, au point que je suis repassé sous Xfce. Je pense que c'est un problème avec tous les tiling WM (mais certains considéreront certainement que c'est une feature, comme avec un clavier dvorak).
[^] # Xmonad plussun
Posté par gasche . En réponse à la dépêche WMFS, Window Manager From Scratch. Évalué à 1.
J'utilise aussi1 XMonad et j'en suis très satisfait. Je trouve que c'est un projet cool qui a des priorités cool (simplicité du code, modularité, tests par spécification, un langage original et intéressant...) et j'ai été on ne peut plus ravi par l'effort de Wouter Swiestra de prouver en Coq (PDF) certaines propriétés de correction du cœur de XMonad.
1: en réalité, en ce moment j'utilise Xfce pour une raison simple mais assez bête : quand j'utilise un tiling WM, les autres gens sont incapables d'utiliser mon ordinateur. Ça m'arrive assez souvent en fait qu'on me dise "tiens tu es connecté à internet? Je pourrais jeter un coup d'œil à ... ?", et dans ce cas là j'ai pas envie de devoir relancer une session X juste pour que la personne ne soit pas complètement perdue. Ça m'est arrivé quelques fois sous XMonad et c'était inutilement gênant, au point que je suis repassé sous Xfce. Je pense que c'est un problème avec tous les tiling WM (mais certains considéreront certainement que c'est une feature, comme avec un clavier dvorak).