From mboxrd@z Thu Jan 1 00:00:00 1970 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: Re: We need a different downloader for KDE Date: Tue, 16 May 2017 10:25:21 +0200 Message-ID: <87o9utb43y.fsf@gnu.org> References: <3bb82e56-f38d-3143-7d4f-70700f6b26d5@crazy-compilers.com> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:58130) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1dAXnN-0008W2-8C for guix-devel@gnu.org; Tue, 16 May 2017 04:25:30 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1dAXnI-0001HI-Ia for guix-devel@gnu.org; Tue, 16 May 2017 04:25:29 -0400 In-Reply-To: <3bb82e56-f38d-3143-7d4f-70700f6b26d5@crazy-compilers.com> (Hartmut Goebel's message of "Sun, 14 May 2017 14:54:20 +0200") List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: "Guix-devel" To: Hartmut Goebel Cc: Guix-devel Hello, Hartmut Goebel skribis: > can anybody more skilled than me please implement some HTTP(s) updater, > so we can "refresh" directly from downloads.kde.org. Please apologize, > if there already is one, I did not spot one. > > Yesterday KDE released an security update, which was available at > downloads.kde.org at 05:38 GMT. When I tried updating the packages > ("guix refresh") at about 18:30 GMT, the packages have not been found. > > Reasons for this is: "guix refresh --type=3Dkde" uses > ftp://mirror.mit.edu, which obviously is lagging. This may cost us > important time in case of an emergency update. Unfortunately KDE's main > site (downloads.kd.org) is only accessible via https, not via FTP. The updater currently browses FTP, and there=E2=80=99s no way to browse an = HTTP directory (because HTTP is not a file transfer protocol). So we need a way to list the latest releases somehow. If they publish JSON, XML, or some other structured info format, that=E2=80=99s fine too. = But HTTP alone is not good: we=E2=80=99d have to infer the information from HTML pages, which sounds fragile. Could you check what methods they offer to get updates? Ludo=E2=80=99.