~cnx

Hà Nội, Việt Nam

https://mcsinyx.github.io

I'm a Vietnamese undergrad student and a free software enthusiast.

~cnx/palace

Last active a month ago

~cnx/offre

Last active 2 months ago

~cnx/pyndie

Last active 3 months ago

~cnx/lazip

Last active 3 months ago
View more

Recent activity

Re: Undocumented services outage 8 days ago

From Nguyễn Gia Phong to ~sircmpwn/sr.ht-discuss

Thank you for the prompt response, Simon.

Re: [PATCH builds.sr.ht] image/fedora: update latest to 33, rawhide to 34 a month ago

From Nguyễn Gia Phong to ~sircmpwn/sr.ht-dev

Thanks, that clears it up for me.
I will try to reproduce it locally for a deeper look.

Re: [PATCH builds.sr.ht] image/fedora: update latest to 33, rawhide to 34 a month ago

From Nguyễn Gia Phong to ~sircmpwn/sr.ht-dev

My wild guess would be that support for Fedora < 32 is dropped
but that doesn't seem to relate to the SSH failure.

On the other hand, Fedora 32 is being used for Trio and I'm even able
to SSH into the VM multiple times for debugging purposes.
These are some of the successful runs:
https://builds.sr.ht/~njs/trio/pulls/fedora.yml

[PATCH builds.sr.ht] image/fedora: update latest to 33, rawhide to 34 a month ago

From Nguyễn Gia Phong to ~sircmpwn/sr.ht-dev

---
At the time of writing, Fedora 32 is the oldest supported version,
so should I go ahead and remove 29 to 31?

 images/fedora/34/functions | 1 +
 images/fedora/34/genimg    | 3 +++
 images/fedora/build.yml    | 2 +-
 images/fedora/latest       | 2 +-
 images/fedora/rawhide      | 2 +-
 5 files changed, 7 insertions(+), 3 deletions(-)
 create mode 120000 images/fedora/34/functions
 create mode 100755 images/fedora/34/genimg

diff --git a/images/fedora/34/functions b/images/fedora/34/functions
[message trimmed]

Re: [builds.sr.ht] How to add key for Debian repositories? a month ago

From Nguyễn Gia Phong to ~sircmpwn/sr.ht-discuss

Thank you for the explanation, Eli Schwartz.  It wasn't clear to me how
the key ID could be retrieved though.  In the future, if I want to find
the key ID for another repository, how may I do it?

Re: [builds.sr.ht] How to add key for Debian repositories? a month ago

From Nguyễn Gia Phong to ~sircmpwn/sr.ht-discuss

Thank you for the explanation!  Out of curiousity,
may I ask how did you get the key ID?

Re: [skip ci] support a month ago

From Nguyễn Gia Phong to ~sircmpwn/sr.ht-discuss

I'm nobody, but I love how simple and deterministic builds is.  One can
always set up a task that check the commit message and quit early or
nest everything in the opposite condition.

[builds.sr.ht] How to add key for Debian repositories? a month ago

From Nguyễn Gia Phong to ~sircmpwn/sr.ht-discuss

Hi,

I'm trying to add RethinkDB repo to Debian in a build.  Their official
instruction consists of two steps, adding repo and its key:

echo "deb https://download.rethinkdb.com/repository/debian-buster buster main" \
  | sudo tee /etc/apt/sources.list.d/rethinkdb.list
wget -qO- https://download.rethinkdb.com/repository/raw/pubkey.gpg \
  | sudo apt-key add -

builds.sr.ht's config for Debian repositories, however, only let us
specify the key-id: https://man.sr.ht/builds.sr.ht/compatibility.md#debian

I'm wondering how this key-id is used to find the whole key.  I omitted

Re: My project has a (plural) "sources" tab, where others have a (singular) "source" tab. Why? a month ago

From Nguyễn Gia Phong to ~sircmpwn/sr.ht-discuss

Is there a way to get my projects to have the *source* tab or it is some
legacy behavior accidentally left out in some past transition?