| 13 Sep 2023 |
Guillaume Desforges | sympa! à comparer avec lazyvim | 08:41:22 |
Guillaume Desforges | wait, c'est déjà lazyvim x) | 08:42:11 |
Guillaume Desforges | * wait, c'est du lazyvim :o | 08:42:25 |
| 14 Sep 2023 |
bew | Guillaume Desforges raitobezarius Julien: Il y a tjr un meetup Nix de prevu bientôt ? J'ai cru comprendre que pas le 20 septembre, donc ça serait plutôt en octobre ? (j'ai besoin de savoir si j'ai ma soirée du 20 sept ou non) | 12:56:26 |
raitobezarius | Ouais je crois qu'on fera pas le 20 sept | 12:58:45 |
Guillaume Desforges | C'est même sûr | 15:45:04 |
bew | Ça marche, merci | 23:53:28 |
| 17 Sep 2023 |
| ·☽•Nameless☆•777 · ± changed their profile picture. | 07:31:12 |
Reventlov | Coucou | 12:44:03 |
Reventlov | J'aimerais aller mettre des fichiers (récupérés « dynamiquement » en lançant un programme) dans le home d'un utilisateur (qui peut être géré par home manager, mais si c'est plus simple autrement je fais autrement) | 12:44:43 |
Reventlov | en pratique c'est des docsets pour https://zealdocs.org/, sauf que pour les récupérer, il me faut bien évidemment un accès réseau | 12:45:16 |
Minijackson | personnellement, je ferais un systemd user service | 12:46:48 |
Minijackson | j'imagine que la documentation n'est pas vraiment un "paquet reproductible", donc ce serait plus à télécharger régulièrement, en dehors de Nix | 12:47:24 |
Reventlov | Je peux faire un activation script dans home manager mais il ne sera lancé qu'après le boot de la machine (et donc vu que c'est pour de la doc offline c'est bof) | 12:47:25 |
Minijackson | avec un systemd user service, tu peux faire un timer qui exécute le script régulièrement, et je crois qu'il peut aussi dépendre de network-online.target | 12:48:49 |
Minijackson | et dans le cadre d'un service, c'est pas grave s'il timeout | 12:49:06 |
| @colamaroro:lovelyrad.io left the room. | 18:18:38 |
| 19 Sep 2023 |
| ·☽•Nameless☆•777 · ± changed their display name from ☽•Nameless☆ to •☽•Nameless☆•777. | 17:35:25 |
| ·☽•Nameless☆•777 · ± changed their display name from •☽•Nameless☆•777 to •☽•Nameless☆•777 •. | 17:36:04 |
| ·☽•Nameless☆•777 · ± changed their display name from •☽•Nameless☆•777 • to ·☽•Nameless☆•777 ·. | 17:36:43 |
| 21 Sep 2023 |
Reventlov | https://status.nixos.org/ Last updated : >4 days ago | 19:08:19 |
| dedmunwalk joined the room. | 23:04:41 |
| 25 Sep 2023 |
Reventlov | J’essaye pour la première fois là GUI d’installation de NixOS, bah, c’est pas mal du tout | 07:53:39 |