17 commits

Author	SHA1	Message	Date
Léana 江	61b098698c	nix: stop using gdm	2024-10-30 18:21:31 +01:00
Léana 江	e76b41242d	add(nvim): why3 highlighting ✨	2024-10-30 18:21:30 +01:00
Léana 江	40bba1f3ec	nix: Wi-Fi is working now !	2024-10-30 18:21:30 +01:00
Léana 江	ae14a735ee	fix(nix): eduroam	2024-10-30 18:21:30 +01:00
Léana 江	d0003079cc	add(nix): nix-community cachix pubkey	2024-10-30 18:21:30 +01:00
Léana 江	b5827726fb	comments	2024-10-30 18:21:29 +01:00
Léana 江	6a7f77ca1b	add(nix): mount different shares separately	2024-10-30 18:21:29 +01:00
Léana 江	f557e787e8	nix: use nfs instead	2024-10-30 18:21:29 +01:00
Léana 江	c39487eab3	add(nix): virtualbox	2024-10-30 18:21:28 +01:00
Léana 江	e1af3a5ddc	nix: don't start vpn by default	2024-10-30 18:21:28 +01:00
Léana 江	43e3d0fd63	nix: use gnome evolution instead of thunderbird	2024-10-30 18:21:28 +01:00
Léana 江	78a82fbe18	ref: nix	2024-10-30 18:21:28 +01:00
Léana 江	b6ffdff216	add(nix): networks	2024-10-30 18:21:27 +01:00
Léana 江	4856534f29	nix: don't auto optimise (slows things down)	2024-10-30 18:21:27 +01:00
Léana 江	61c2a0fc6e	add(nix): wireguard setup	2024-10-30 18:21:27 +01:00
Léana 江	470a60c7f0	add(nix): easycontrol	2024-10-30 18:21:26 +01:00
Léana 江	fcba199e19	ref: merged nixos and macOS configuration	2024-10-30 18:21:26 +01:00