CCCHH/nix-infra
CCCHH/nix-infra
2
3
Fork 3
Code Issues Pull requests 2 Projects Wiki Activity
178 commits 9 branches 0 tags 566 KiB
Commit graph

47 commits

Author SHA1 Message Date
Fiona Grzebien 5ae0d83e7a
Update element to 1.11.84 2024-11-10 22:46:02 +01:00
dequis 9d1521c485
spaceapid: adjustments to 3d printer state sensors 
- Prefix sensor names with ext_ as the spec says we should use that for
  extensions (this also improves attribute access for tools that don't
  like fields starting with a number)
- Rename printer state to printer busy state, to make it clearer.
- Add ext_3d_printer_minutes_remaining sensors
 2024-10-24 16:25:40 +02:00
June accd31173b
public-web-static: turn off ports to prevent broken redirects to 8443 2024-10-21 21:35:10 +02:00
June 8165d22159
public-web-static: prevent staging ht ccchh from search machine indexing 2024-10-21 21:30:36 +02:00
June ecdaa2d5f6
public-web-static: redirect EH20 doku.php?id=$pagename to new format 
See:
CCCHH/easterhegg-eh20-website#2 (comment)
 2024-10-13 22:09:20 +02:00
Stefan Bethke de2390c78d
public-web-static: redirect old hackertours 37C3 urls to proper url 2024-10-13 20:59:04 +02:00
June 2fe65b0513
public-web-static: add staging for hackertours.hamburg.ccc.de 2024-10-12 22:14:42 +02:00
June 804094aaeb
public-web-static: add hackertours.hamburg.ccc.de static web host 
It can be deployed using a corresponding deploy key in the same manner
hacker.tours and hamburg.ccc.de can be deployed.
 2024-10-12 20:03:04 +02:00
christian da8e2bbbf4
Update element to 1.11.80 2024-10-10 20:50:20 +02:00
June 445bf05842
public-web-static: host Easterhegg 20 website static export 2024-09-28 05:00:31 +02:00
dequis 9b751fa1ed
spaceapid: add 3d printer state sensors (bool) 
The schema only allows numeric values so I'm leaving the time to finish
field out of this for now.
 2024-08-17 00:15:27 +02:00
June faffcb7d54
spaceapi: remove inside sensors for privacy reasons 2024-08-04 21:05:43 +02:00
June 1ffc959ce3
Update spaceapid to v0.1.0 2024-08-04 21:03:29 +02:00
June b30015fee1
Clean up networking configs by making them all use the same layout 
Also use the v6 gateway as a nameserver as well for the esphome host.
 2024-07-30 01:17:05 +02:00
June 6411ae8b80
Add hacker.tours and a staging env. similar to the CCCHH website one 2024-06-13 22:53:06 +02:00
fi 8a2d406d4e
Bump element-web to 1.11.68 2024-06-09 22:51:42 +02:00
June 3aae597752
Switch the public-web-static hosts secret mngmt from colmena to sops-nix 2024-05-26 03:49:43 +02:00
June bc6af32a36
Update spaceapid to latest commit and use correct logo URL 2024-04-15 17:07:50 +02:00
christian 6a0218c132
Serve old easterhegg pages from public-web-static. 
The old easterhegg pages from 2003, 2005, 2007, 2009, 2011 are served on the
easterhegg.eu domain and all old subdomains under hamburg.ccc.de
redirect to the corresponding pages under easterhegg.eu
 2024-03-29 16:16:13 +01:00
June 1ad6ac9dc0
Run "nix fmt" to format this entire flake 2024-03-06 22:50:32 +01:00
fi a5a994f87f
Bump element-web to 1.11.59 2024-03-02 17:22:15 +01:00
fi d8d0236870
Fix indentation 2024-01-28 22:03:15 +01:00
fi 2ae1ad3604
Configure matrix server .well-known delegation 2024-01-28 21:59:08 +01:00
fi 4c0decea4a
Update element-web to 1.11.55 2024-01-28 05:05:53 +01:00
June 7ce5c934df
Redirect old feed location to new one for CCCHH website 2024-01-23 19:57:20 +01:00
June c83f1faaa7
Use custom 404 page for hamburg.ccc.de 2024-01-22 23:32:00 +01:00
June 1dd8651bda
Update wiki links to point to wiki.hamburg.ccc.de 2024-01-22 23:15:03 +01:00
June 394f4fe562
Deploy new website under hamburg.ccc.de 
Make next.hamburg.ccc.de hamburg.ccc.de and add redirects to handle URLs
of the old website deployment properly.
Also redirect the old spaceapi endpoint to the new one.

Add staging.hamburg.ccc.de for hosting upcoming changes (PRs).
Also give it a robots.txt, since its contents don't need to show up in
search engines.

Add www.hamburg.ccc.de and let it redirect to hamburg.ccc.de.
 2024-01-22 23:08:38 +01:00
June 12c38aac8b
Add CO2 sensors to spaceapid response 2024-01-22 02:05:48 +01:00
June aa25b300e3
Fix temperature unit in spaceapid response 
See:
https://github.com/SpaceApi/directory/pull/247#pullrequestreview-1825757336
CCCHH/spaceapid#26
https://spaceapi.io/docs/#schema-key-sensors-temperature-unit
 2024-01-21 03:54:01 +01:00
Bendodroid 7cef911b61 Set -ldflags for spaceapid to set version string 
Co-authored-by: June <june@jsts.xyz>
 2024-01-16 02:46:09 +01:00
June b5ec5fd763 Update spaceapid 2024-01-16 02:33:13 +01:00
June eea98d66c4 Update spaceapid 2024-01-15 23:39:09 +01:00
June 1c54a7b316 Update spaceapid 2024-01-15 22:38:00 +01:00
June 001740df0b Link to new Git host (Forgejo) in spaceapi response 2024-01-15 03:30:34 +01:00
June 5b61a31904 Use new spaceapid version and configure temp. and humid. sensors 2024-01-15 03:25:48 +01:00
June 4ef0a6a02d Add c3cat.de virtualHost config for forwarding c3cat.de to wiki 2024-01-13 18:21:01 +01:00
June 87e6735662 Switch to new proxyProtocol option instead of using extraParameters 2023-12-05 18:26:16 +01:00
June df9b76528d Switch to pkgs from stable 
I think we used pkgs from unstable (as pkgs-unstable), because the Go
version in NixOS 23.05 was too old. But now that we're on 23.11, which
has a newer Go version, we can use pkgs from stable.
 2023-12-05 17:51:52 +01:00
June 25cab7982b Update spaceapid 
Also set StateDirectory in the systemd service to persist state.
 2023-11-10 21:56:25 +01:00
June b1b34c54ba Update spaceapid 2023-11-09 22:15:35 +01:00
June a8379c3cf2 Update spaceapid 2023-11-09 19:59:08 +01:00
June c2e46406e1 Introduce spaceapid running at spaceapi.hamburg.ccc.de 2023-11-05 00:07:19 +01:00
June b0995784fc Add next.hamburg.ccc.de virtualHost config for hosting the new website 
In the future next.hamburg.ccc.de might also be used for hosting website
builds of branches or MRs.
 2023-10-25 02:17:21 +02:00
yuri 3ee198bc10 Change Content-Security-Policy "frame-ancestors" to "self" 
This allows for downloading files as the download button
spawns an iframe when clicking it.
 2023-10-07 05:43:18 +02:00
June ddcf4eff0d Introduce branding-resources site and brand Element welcome/auth page 2023-10-07 05:17:53 +02:00
yuri 02411bb800 Configure public-web-static host for Element Web hosting 
Co-authored-by: julian <julian@jsts.xyz>
 2023-10-07 04:29:08 +02:00