| 28 Jun 2023 |
|  htsr joined the room. | 08:24:25 |
|  d86leader joined the room. | 10:20:01 |
 raitobezarius | In reply to @pacien:pacien.net
au fait, a-t-on une version page de manuel unix (man) pour nixpkgs ? I don't think so | 13:16:59 |
| 29 Jun 2023 |
|  ·☽•Nameless☆•777 · ± changed their profile picture. | 04:01:46 |
| 30 Jun 2023 |
| ·☽•Nameless☆•777 · ± changed their display name from ★.¸¸¸. •°´Nameless☆*´¨`*☽ to ☽•Nameless☆. | 01:15:17 |
| 2 Jul 2023 |
 Reventlov | coucou | 16:45:26 |
| Reventlov | C'est quoi le DE « grand public » le mieux supporté / intégré dans les options nixpkgs / home-manager ? | 16:45:48 |
| Reventlov | Là, j'ai testé KDE, et c'est assez dur de changer des choses triviales comme le fond d'écran sans faire des choses un peu trop manuelles à mon goût (cc ncfavier car j'ai vu des commits à toi sur des machin genre plasma-manager, peut être que tu as un avis là dessus) | 16:46:48 |
 @duponin:alternativebit.fr | gnome marche vraiment bien je trouve | 18:38:03 |
| @duponin:alternativebit.fr | owait, oublis ce que j’ai dis | 18:38:21 |
 Pol | Moi j'utilise, je suis completement fan... | 19:53:27 |
 bew | Je connais https://github.com/pjones/plasma-manager ça pourrait aider | 21:54:18 |
| bew | It's more a way to generate kde' config files, but you can build better/easier-to-use options on top | 21:56:27 |
| 3 Jul 2023 |
|  Plink joined the room. | 13:39:42 |
| Plink changed their display name from Noxis to Plink. | 13:56:54 |
| Plink set a profile picture. | 13:57:00 |
| 5 Jul 2023 |
|  AtnNn joined the room. | 18:20:25 |
| 6 Jul 2023 |
| ·☽•Nameless☆•777 · ± changed their profile picture. | 07:22:53 |
