| 28 Jun 2023 |
Minijackson | ici: https://github.com/NixOS/nixpkgs/blob/master/lib/systems/examples.nix | 06:53:46 |
Minijackson | mais si tu fais la tienne, là il va très probablement compiler gcc et tout | 06:54:17 |
@victor_mignot:matrix.org | Je sais pas pour GCC spécifiquement, mais techniquement hier il allait me compiler pas mal de choses, après c'est potentiellement des dépendances de CMake. | 06:55:34 |
Minijackson | je pense que c'est ça | 06:55:45 |
@victor_mignot:matrix.org | Dac, merci pour toutes ces infos ! | 06:56:40 |
Minijackson | pas de soucis ! | 06:57:08 |
Gaël Reyrol | Super les explications :) | 07:05:26 |
Pol | Gaël Reyrol: https://github.com/NixOS/nixpkgs/commit/e1b3f7b15902d1f1b7560fd610f98a24821e1759#commitcomment-119900760 ????? | 07:58:35 |
Gaël Reyrol | wtf | 08:00:34 |
Pol | Beuh... je comprends pas | 08:02:38 |
Pol | J'ai ajoute un comm' :D | 08:04:53 |
| 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☆*´¨`*☽ changed their profile picture. | 04:01:46 |
| 30 Jun 2023 |
| ★.¸¸¸. •°´Nameless☆*´¨`*☽ changed their display name from ★.¸¸¸. •°´Nameless☆*´¨`*☽ to ☽•Nameless☆. | 01:15:17 |
| 2 Jul 2023 |
Rémy Grünblatt | coucou | 16:45:26 |
Rémy Grünblatt | C'est quoi le DE « grand public » le mieux supporté / intégré dans les options nixpkgs / home-manager ? | 16:45:48 |
Rémy Grünblatt | 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 | gnome marche vraiment bien je trouve | 18:38:03 |
duponin | 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☆*´¨`*☽ changed their profile picture. | 07:22:53 |
| Rémi joined the room. | 11:23:17 |