947 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Tom Hubrecht	2cb6c24535	feat(git-hooks): Update ... - Patch git-hooks.nix source to rename `nixfmt` to `nixfmt-classic` and avoid annoying warnings when reloading the shell	2024-07-30 10:36:36 +02:00
sinavir	60267b4ff6	feat: Update CI to use tvix-store	2024-07-29 14:31:42 +02:00
sinavir	c14e263b98	feat(tvix-store): Init	2024-07-29 14:31:42 +02:00
Tom Hubrecht	fca52e471e	fix(crabfit): Don't depend on all of google-fonts	2024-07-29 14:31:02 +02:00
Tom Hubrecht	be128f6c3a	feat(kadenios): Fix build of static files and restore cas.eleves.ens.fr for authens	2024-07-28 14:30:03 +02:00
Tom Hubrecht	1216a0a780	feat(cas-eleves): Redirect from cas-eleves.dgnum.eu to cas.eleves	2024-07-28 14:10:42 +02:00
sinavir	f6c9137850	fix(signal-irc-bridge): make it work	2024-07-20 00:45:17 +02:00
Tom Hubrecht	5e7a6b09ec	fix(meta): Assign null to bridge01.netbirdIp	2024-07-19 17:33:04 +02:00
sinavir	61bdf34c70	feat(signal-irc-bridge): Add dns record for file server	2024-07-19 17:27:37 +02:00
Tom Hubrecht	23b2a19494	feat(kadenios): Don't include dev dependencies in the environment	2024-07-19 11:24:21 +02:00
Tom Hubrecht	060e04118d	chore(cas.eleves): Update	2024-07-12 20:04:50 +02:00
Tom Hubrecht	ce64be6e79	Revert "fix(web02): Don't be too fast" ... This reverts commit a6c3b42ad9.	2024-07-12 19:13:04 +02:00
Tom Hubrecht	8e901ab790	feat(kadenios): Update	2024-07-12 11:02:15 +02:00
Tom Hubrecht	a6c3b42ad9	fix(web02): Don't be too fast	2024-07-12 11:02:04 +02:00
Tom Hubrecht	aee4ff41df	fix(npins): Stay on a stable version	2024-07-11 15:05:22 +02:00
Tom Hubrecht	b1d7147d86	fix(dns): Use correct redirection	2024-07-11 11:10:50 +02:00
Tom Hubrecht	d35a3a623b	feat(dns): Add CNAME for traque.dgnum.eu	2024-07-11 11:06:57 +02:00
Tom Hubrecht	a43e10d77d	fix(npins): Update the version used	2024-07-11 10:33:01 +02:00
Tom Hubrecht	680682f520	feat(bridge02): Initialize and add instructions to the README	2024-07-10 17:31:04 +02:00
Tom Hubrecht	0e8f752d79	feat(shell): Update colmena to a version that understands sshOptions	2024-07-10 17:29:20 +02:00
Tom Hubrecht	4bc2ebf429	feat(web02): Switch to cas.eleves.ens.fr for the cas server	2024-07-10 14:15:24 +02:00
Tom Hubrecht	1bf5ad93a2	feat(kadenios): Add management script	2024-07-09 14:52:01 +02:00
Tom Hubrecht	954ba45281	feat(web02): Deploy kadenios on vote.dgnum.eu	2024-07-09 10:47:30 +02:00
Tom Hubrecht	59aaf015dd	chore(cas-eleves): There is no real build phase	2024-07-09 10:46:58 +02:00
catvayor	411795c664	fix(routing): clean icmp storm	2024-07-08 20:38:01 +02:00
catvayor	dce439fcca	fix(shitty-oob): Drop user vlans when no-uplink	2024-07-08 20:38:00 +02:00
catvayor	37a18c0347	feat(nat): Enable nat (with ip_forward)	2024-07-08 20:38:00 +02:00
Tom Hubrecht	a00833c682	fix(cas-eleves): Fix the build of django-cas-server	2024-07-08 16:23:12 +02:00
Tom Hubrecht	adf62b0534	feat(web02): Switch to nix-pkgs for python modules	2024-07-07 13:56:10 +02:00
Tom Hubrecht	61b2408564	feat(dns): Add vote.dgnum.eu to web02	2024-07-07 13:10:58 +02:00
Tom Hubrecht	7092c4e9c3	fix(attic): Don't use the same port as prometheus	2024-07-06 11:59:58 +02:00
Tom Hubrecht	d553d6efe7	fix(stirling-pdf): Vendor patches and update version	2024-07-06 11:36:54 +02:00
DGNum Chores	9e2b066cfc	chore(npins): Update	2024-07-06 11:36:54 +02:00
Tom Hubrecht	9f7ddf2adf	feat(nextcloud): Update collabora and settings	2024-07-05 18:44:49 +02:00
Tom Hubrecht	5279356835	feat(nextcloud): Upgrade to 29	2024-07-05 16:15:27 +02:00
Tom Hubrecht	8b3747fd22	fix(web02): Once more	2024-07-05 16:09:04 +02:00
Tom Hubrecht	38f6151fbb	fix(web02): Don't let the CI choke	2024-07-05 15:31:57 +02:00
Tom Hubrecht	96e9f14e2d	feat(infra): Switch to lix	2024-07-05 14:39:02 +02:00
Tom Hubrecht	c233a22a1a	feat(web02): Switch to nixos-24.05	2024-07-05 14:38:53 +02:00
Tom Hubrecht	04854d24bc	feat(nixpkgs): Update default version	2024-07-05 14:38:33 +02:00
sinavir	2b52c9997a	fixup! feat: Upgrade machines to nixos-24.05	2024-07-05 10:54:33 +02:00
sinavir	f637ae9ea8	fixup! feat: Upgrade machines to nixos-24.05	2024-07-05 10:54:33 +02:00
Tom Hubrecht	ac09d221ad	feat: Upgrade machines to nixos-24.05	2024-07-05 10:54:33 +02:00
Tom Hubrecht	7c5ed7b65a	feat(cas-eleves): Update and load fixture	2024-07-04 21:29:22 +02:00
Tom Hubrecht	325e24f5f6	feat(cas-eleves): Update to latest version	2024-07-03 14:56:46 +02:00
Tom Hubrecht	5668b6bbfd	feat(web02): Deploy a CAS server on cas-eleves.dgnum.eu	2024-07-02 20:54:45 +02:00
Tom Hubrecht	250a4b6c87	feat(meta): Add dns for cas-eleves	2024-07-02 18:04:46 +02:00
Tom Hubrecht	807415ae93	feat(arkheon): Update	2024-06-26 22:54:15 +02:00
Tom Hubrecht	0be91e4803	fix(web02): Use the correct fs configuration	2024-06-26 22:25:40 +02:00
Tom Hubrecht	83d8ff264d	feat(web02): Reimage the node	2024-06-17 17:06:37 +02:00