1. Forum
  2. Usenet
  3. LINUX.DEBIAN.DEVEL

  • Re: ppc64el porterbox replacement: plummer.d.o -> platti.d.o

    From Johannes Schauer Marin Rodrigues@21:1/5 to All on Mon Oct 24 06:50:01 2022
    Hi,

    Quoting David Bremner (2022-10-22 18:16:12)
    Aurelien Jarno <[email protected]> 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. :)

    Thanks!

    cheers, josch
    --==============825325190687501529=MIME-Version: 1.0
    Content-Transfer-Encoding: 7bit
    Content-Description: signature
    Content-Type: application/pgp-signature; name="signature.asc"; charset="us-ascii"

    -----BEGIN PGP SIGNATURE-----

    iQIzBAABCgAdFiEElFhU6KL81LF4wVq58sulx4+9g+EFAmNWF0IACgkQ8sulx4+9 g+Fv4A//bh/2Xl7PYVoVdYd9KIcM7CweIpJ3zaY3VsEC0qV7aFNns4u8WoHTGHoU vEkJBUjmGjaMiX5CzPKWW8BuKNeN+9nh/sPzB2uF7U8dxyHGZtuhVk6yX9qw32oF xpAhlcDV/sgz32I5Z1plJx52nHqQbIPWh2oo6seEgAh/eNlnWB1yneLq0oBlGo3P 7wyZG2II8WInu6sfvx8sWizjsAxGmt1yxZPjwktzamggBW1/Rp+E5D9Ad0GMRAm7 MrwMtphpTT85qXW3LB4UffGfjpn6Y4mRzQWhC6wGM+bi0RC8N3eWh01HlibXvOgm G9ZjigqhHpWMOpYU3ydzeeG5YJvN8o5RnxE0dFBWQ7HaWC8S4UkxKONAWBzX4VNq ddXse4dul4szAELUuyQDRg640122suL2dgKL2V/aG5VdCf4jYR4N3ZJpTEGGJw9h +v9SMsDHobMgho22FxJ/WTsWYCbIhxyUu785cpMecgDvHjbZ0qmX3v9tiLvMPzpW NntCJAtxaK2uDHacgfTY8f3ecFC216RgpSG9iiuogqv2WZavEyIM2rnfSi/PYn24 DNisgJQfWo04Kv5F9JpxUJDW6RaxPRCevfkpIAHRaJi7mYThYggvfc88xciZBOOv j9Z3sVPZOTlqMWpwLIQEZjICtoa/AdBINjFB8w5BHlrfG1NOyyM=
    =dpXO
    -----END PGP SIGNATURE-----

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Philipp Kern@21:1/5 to Johannes Schauer Marin Rodrigues on Mon Oct 24 09:30:01 2022
    Hi,

    On 24.10.22 06:40, Johannes Schauer Marin Rodrigues wrote:
    Quoting David Bremner (2022-10-22 18:16:12)
    Aurelien Jarno <[email protected]> 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. :)

    Looks like it's Jakub:

    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

    Kind regards
    Philipp Kern

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Jakub Wilk@21:1/5 to All on Mon Nov 7 22:40:01 2022
    * Johannes Schauer Marin Rodrigues <[email protected]>, 2022-10-24 06:40:
    this is the first time I hear about $arch-porterbox.debian.net. This is
    super cool! When was that announced

    Not sure if that counts as an announcement, but jamessan blogged about
    it back in 2015: https://jamessan.com/~jamessan//posts/porterbox-logins/

    and who maintains it?

    Nobody...

    Oh, you mean who owns the DNS records? That would be me.

    I haven't done any porting work for years, so I would be glad if someone
    more active took over these records.

    --
    Jakub Wilk

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)