#archlinux-ports | Logs for 2017-08-07

[00:00:00] -!- eschwartz[m] has quit [Changing host]
[00:00:00] -!- eschwartz[m] has joined #archlinux-ports
[00:00:00] -!- eschwartz[m] has quit [Changing host]
[00:00:00] -!- eschwartz[m] has joined #archlinux-ports
[02:52:47] -!- eschwartz has quit [Remote host closed the connection]
[03:39:57] -!- eschwartz has joined #archlinux-ports
[06:49:37] -!- deep42thought has joined #archlinux-ports
[06:59:14] -!- deep42thought has quit [Remote host closed the connection]
[07:18:25] -!- eschwartz has quit [Remote host closed the connection]
[07:19:03] -!- eschwartz has joined #archlinux-ports
[07:29:07] -!- isacdaavid has quit [Quit: isacdaavid]
[07:34:17] -!- alyptik has quit [Ping timeout: 260 seconds]
[07:34:47] -!- alyptik has joined #archlinux-ports
[07:40:29] -!- p71 has quit [Read error: Connection reset by peer]
[09:03:56] -!- deep42thought has joined #archlinux-ports
[09:47:05] -!- Faalagorn has quit [Ping timeout: 240 seconds]
[10:02:32] -!- Faalagorn has joined #archlinux-ports
[10:51:08] -!- alyptik has quit [Ping timeout: 240 seconds]
[10:51:26] phillid is now known as alyptik
[10:51:32] alyptik is now known as phillid
[10:52:20] -!- alyptik has joined #archlinux-ports
[14:20:51] -!- Cthulu201 has quit [Quit: WeeChat 1.9]
[14:21:24] -!- Cthulu201 has joined #archlinux-ports
[14:45:22] <deep42thought> Ha, I found the issue with the archlinux32-keyring on the iso!
[16:29:36] -!- deep42thought has quit [Quit: Leaving.]
[16:46:38] -!- dopsi has quit [Quit: ZNC - http://znc.in]
[16:47:16] -!- dopsi has joined #archlinux-ports
[16:52:27] -!- p71 has joined #archlinux-ports
[18:45:23] -!- deep42thought has joined #archlinux-ports
[18:55:37] -!- eschwartz has quit [Ping timeout: 260 seconds]
[18:56:48] -!- guys has quit [Ping timeout: 240 seconds]
[19:01:45] -!- guys has joined #archlinux-ports
[19:07:18] -!- eschwartz has joined #archlinux-ports
[19:42:21] <deep42thought> WarheadsSE: Can you remember doing something special to get "clingo" to compile?
[19:42:49] <deep42thought> I'm currently googling the build error and an old log on archlinuxarm.org turns up :-/
[21:09:30] -!- {levi} has joined #archlinux-ports
[21:10:51] <deep42thought> Hi {levi}, have you been successful switching to archlinux32?
[21:18:00] <WarheadsSE> It would be in the PKGBUILD deep42thought
[21:18:34] <deep42thought> hmm, there's no PKGBUILD in the alarm repo
[21:19:47] <{levi}> I've had visitors the past couple of days, but I've been able to put a little time into it tonight.
[21:20:06] <deep42thought> {levi}: no rush :-)
[21:20:22] <{levi}> Currently stuck on PGP key issues. Think there was something in the logs of this room about that
[21:21:38] <deep42thought> yeah, I solved that one
[21:21:54] <deep42thought> just run 'pacman-key --populate archlinux32' on the iso and you're good to go
[21:25:53] <{levi}> Ta; done and I've kicked off the pacstrap again
[21:28:15] <WarheadsSE> deep42thought: do we have it packaged, or did you just find the failure log?
[21:29:57] <deep42thought> its packaged in archlinuxarm and an older version's log shows up in google's cache
[21:30:03] <deep42thought> s/its/it's/
[21:30:16] <deep42thought> but the error matches precisely
[21:30:31] <deep42thought> which made me think, there might be a trick involved
[21:30:47] <WarheadsSE> clingo 5.2.0-3?
[21:31:05] <deep42thought> the error log was for 3.3.0
[21:31:06] <deep42thought> i think
[21:31:16] <WarheadsSE> that's quite old.
[21:31:41] <WarheadsSE> here is 5.3.0-3's ARMv7 log https://archlinuxarm.org
[21:31:55] <deep42thought> thanks
[21:32:50] <WarheadsSE> Yeah, there is nothing modified on it at the moment by us
[21:34:00] <{levi}> deep42thought: pacstrap now seems to be running and it's now busy writing to disc
[21:34:09] <deep42thought> :-)
[21:48:42] <{levi}> And I've rebooted successfully into a new install of archlinux32! :)
[21:50:38] <{levi}> I'll just note that the install.txt could be prettied up by not requiring 512MB of RAM or other such fripperies on a i686 system
[21:50:50] <{levi}> You probably know that needs editing already though.
[21:54:28] <deep42thought> where is that stated?
[21:56:01] <deep42thought> ah, hmm, this file comes straight from wiki.archlinux.org
[22:14:15] -!- isacdaavid has joined #archlinux-ports
[22:17:03] <{levi}> Yeah, looks like a html2txt processing of the install guide
[22:17:35] <{levi}> I wonder if we need a 32-bit installation guide on the wiki?
[22:18:00] <deep42thought> first, we'd need a wiki :-)
[22:18:15] <{levi}> But really it's just the opening gambit and perhaps the bit about booting (which describes a UEFI system) which would differ
[22:18:47] <{levi}> I was thinking on the existing archwiki, but we could have a separate wiki. An awful lot of stuff would be the same between them though.
[22:19:21] <deep42thought> A separate wiki should only cover differing parts
[22:19:55] <{levi}> Seems it would potentially be quite small then.
[22:20:08] <deep42thought> yes
[22:20:38] <rewbycraft> Wasn't your position a few weeks ago that a wiki'd be overkill?
[22:20:49] <deep42thought> yes, I didn't change that
[22:21:02] <rewbycraft> Mkay
[22:21:10] <deep42thought> I should clarify
[22:21:18] <rewbycraft> Maybe a dedicated page or section on wiki.archlinux.org would be doable?
[22:21:28] <deep42thought> _If_ we want separate 32-bit infos, we'd need a separate wiki
[22:21:38] <deep42thought> but I think, we don't need separate 32 bit infos yet
[22:21:47] <{levi}> I tend to think the main wiki install guide should offer to link you to the install32 guide or the install16 guide. Wouldn't that be simpler if they were on the same wiki?
[22:21:50] <deep42thought> dunno, ask the officials :-)
[22:22:35] <deep42thought> brtln: Would it be okay for upstream to put i686 specific infos into the official wiki?
[22:22:53] <deep42thought> or: Who do we need to ask about that?
[22:23:13] <{levi}> With sufficient boilerplate to keep users of modern systems on the right track, presumably
[22:27:53] fsckd is now known as leibnitz
[23:01:43] -!- shentey has joined #archlinux-ports
[23:09:14] -!- shentey has quit [Quit: Konversation terminated!]