Aurelien Jarno <aurel32@debian.org> writes:
We lost access to the Power9 machine hosted at Unicamp, which was
hosting the ppc64el porterbox called plummer.d.o. A new porterbox called platti.d.o has been setup as a replacement.
It would be nifty if someone (TM) would update where ppc64el-porterbox.debian.net points to.
Quoting David Bremner (2022-10-22 18:16:12)
Aurelien Jarno <aurel32@debian.org> writes:
We lost access to the Power9 machine hosted at Unicamp, which was
hosting the ppc64el porterbox called plummer.d.o. A new porterbox called >>> platti.d.o has been setup as a replacement.
It would be nifty if someone (TM) would update where
ppc64el-porterbox.debian.net points to.
this is the first time I hear about $arch-porterbox.debian.net. This is super cool! When was that announced and who maintains it? Why is it only on debian.net and not on debian.org?
I always use https://db.debian.org/machines.cgi to obtain the mapping from debian architecture to porterbox machine. Maybe that website could inform me that $arch-porterbox.debian.net also exists?
Whoever maintains this mapping (thank you!!) should also add it to https://wiki.debian.org/DebianNetDomains and then it would be easy to figure out whom to trigger once an update is necessary. :)
pkern@master ~ % ldapsearch -x 'dnsZoneEntry=ppc64el-porterbox*' uid
# extended LDIF
#
# LDAPv3
# base <dc=debian,dc=org> (default) with scope subtree
# filter: dnsZoneEntry=ppc64el-porterbox*
# requesting: uid
#
# jwilk, users, debian.org
dn: uid=jwilk,ou=users,dc=debian,dc=org
uid: jwilk
this is the first time I hear about $arch-porterbox.debian.net. This is
super cool! When was that announced
and who maintains it?
Sysop: | Keyop |
---|---|
Location: | Huddersfield, West Yorkshire, UK |
Users: | 300 |
Nodes: | 16 (2 / 14) |
Uptime: | 20:52:37 |
Calls: | 6,707 |
Calls today: | 1 |
Files: | 12,239 |
Messages: | 5,351,731 |