Rodrigo Arias rarias
  • Joined on 2024-04-26
rarias commented on pull request rarias/jungle#112 2025-06-13 11:21:42 +02:00
Use extra- for substituters and trusted-public-keys

Merged in 1ef6f9a2bb, but this got restored from a previous backup.

rarias closed pull request rarias/jungle#112 2025-06-13 11:21:42 +02:00
Use extra- for substituters and trusted-public-keys
rarias opened issue rarias/jungle#113 2025-06-13 11:20:44 +02:00
Migrate services to tent
rarias created branch tent-fixes in rarias/jungle 2025-06-13 11:17:41 +02:00
rarias pushed to tent-fixes at rarias/jungle 2025-06-13 11:17:41 +02:00
afc0f661d0 Enable gitea in tent
f775907f90 Add bsc.es to resolve domain names
fbd0a8caa2 Monitor AXLE machine too
5f79b187c0 Use IPv4 for blackbox exporter
287b7e5c95 Add public html files to tent
Compare 10 commits »
rarias closed issue rarias/jungle#106 2025-06-13 11:17:18 +02:00
Prepare backup machine
rarias pushed to master at rarias/jungle 2025-06-13 11:17:18 +02:00
7bb11611a8 Disable nix garbage collector in tent
cf9bcc27e0 Rekey secrets with tent keys
81073540b0 Add tent host key and admin keys
a43f856b53 Create directories in /vault/home for tent users
be231b6d2d Add software RAID in tent using 3 disks
Compare 16 commits »
rarias pushed to add-tent-machine at rarias/jungle 2025-06-03 19:12:45 +02:00
4f2422eca2 Create directories in /vault for tent users
rarias pushed to add-tent-machine at rarias/jungle 2025-06-03 19:02:30 +02:00
ec7c883ae4 Add software RAID in tent using 3 disks
c2c4fa0226 Add access to tent to all hut users too
bcb2bb252d Add hut SSH configuration from outside SSF LAN
Compare 3 commits »
rarias pushed to add-tent-machine at rarias/jungle 2025-06-03 18:10:42 +02:00
49e074965c Add access to tent to all hut users too
rarias pushed to add-tent-machine at rarias/jungle 2025-06-03 18:09:37 +02:00
0c6fdc9183 Add hut SSH configuration from outside SSF LAN
e813c811ac Don't use proxy in base preset
da20987f99 Add tent machine from xeon04
Compare 3 commits »
rarias created pull request rarias/jungle#111 2025-06-03 17:27:19 +02:00
Add tent machine
rarias pushed to add-tent-machine at rarias/jungle 2025-06-03 17:21:17 +02:00
edbcc12887 Add tent host to raccoon
48d99293dd Add hut SSH configuration from outside jungle LAN
Compare 2 commits »
rarias pushed to add-tent-machine at rarias/jungle 2025-06-03 17:11:44 +02:00
e7264746d1 Remove hut subtituter
rarias pushed to add-tent-machine at rarias/jungle 2025-06-03 16:47:42 +02:00
779fdc67a5 Remove hut subtituter
rarias pushed to add-tent-machine at rarias/jungle 2025-06-03 16:42:43 +02:00
5ed141814c Fix ethernet name in tent
271d01017c Don't use proxy in base preset
Compare 2 commits »
rarias pushed to add-tent-machine at rarias/jungle 2025-06-03 12:34:00 +02:00
b18def86b0 Add tent machine from xeon04
rarias created branch add-tent-machine in rarias/jungle 2025-06-03 12:32:59 +02:00
rarias pushed to add-tent-machine at rarias/jungle 2025-06-03 12:32:59 +02:00
cedb3e8612 Add tent machine from xeon04
650be88015 Create specific SSF rack configuration
Compare 2 commits »
rarias deleted branch update-nixos from rarias/jungle 2025-06-03 12:17:24 +02:00