cidkid has joined #nixos-aarch64
cidkid has quit [Remote host closed the connection]
sigtrm has joined #nixos-aarch64
mvnetbiz_ has quit [Quit: Ping timeout (120 seconds)]
sigtrm_ has quit [Remote host closed the connection]
Willi_Butz has joined #nixos-aarch64
lovesegfault has quit [Ping timeout: 260 seconds]
h0m1 has quit [Ping timeout: 272 seconds]
h0m1 has joined #nixos-aarch64
orivej has quit [Ping timeout: 268 seconds]
orivej has joined #nixos-aarch64
ryantrinkle has joined #nixos-aarch64
exarkun_ has joined #nixos-aarch64
zarel_ has joined #nixos-aarch64
zarel has quit [Ping timeout: 265 seconds]
orivej has quit [Ping timeout: 265 seconds]
wavirc22 has quit [Quit: ZNC 1.6.6+deb1ubuntu0.2 - http://znc.in]
wavirc22 has joined #nixos-aarch64
zupo has joined #nixos-aarch64
zupo has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
zupo has joined #nixos-aarch64
orivej has joined #nixos-aarch64
zupo has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
zupo has joined #nixos-aarch64
NickHu1 has joined #nixos-aarch64
<thefloweringash> did we lose ghc again? oof
h0m1 has quit [Quit: WeeChat 2.7]
h0m1 has joined #nixos-aarch64
<srk> thefloweringash: how come?
<thefloweringash> haven't looked at it yet, I'm hoping someone else fixes it ;-)
<thefloweringash> It seems to explode early on building a bootstrappy hscolour
<srk> I've tried enabling xmonad yesterday on armv7 and it seems to pull ghc82
<srk> pity more recent won't bootstrap :(
<thefloweringash> I've opened #80176
<srk> can you test more recent one as well? haskell.compiler.ghc8101
<thefloweringash> don't know why it worked before, which means I'd better let someone more responsible figure out if my fix is appropriate
<thefloweringash> that one is marked as unsupported, how rude
<srk> I see
<srk> that's probably the reason why it's still pointing to ghc822 on arm
<thefloweringash> oh, there's no 863 binary for arm?
<srk> 8.6.5 has aarch as well
<DigitalKiwi> thefloweringash: idk if relateed but this commit broke a few things i think (at least nix-shell in nixpkgs/doc) https://gist.github.com/Kiwi/cb8f856d0d624be38ed79aba00f9cd5d
<DigitalKiwi> thefloweringash: oh
<DigitalKiwi> thefloweringash: i clicked your gist...yeah :P
<thefloweringash> I noticed that llvm_39 purge, but figured any llvm is as good as any other. did that older one have more magical propagation?
<DigitalKiwi> no clue
<DigitalKiwi> i went to bed not long after the git bisect
<DigitalKiwi> still haven't figured out https://dpaste.org/fTnM which is not aarch64 specific :<...but how i found that somehow
<DigitalKiwi> yak after yak
<DigitalKiwi> https://dpaste.org/B4KQ been getting this or another error
<DigitalKiwi> and then building the other docs found that aarch64 problem
<thefloweringash> the docs are broken? oh my, such yak
<DigitalKiwi> and i have no freaking idea which doc :|
zupo has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
zupo has joined #nixos-aarch64
<thefloweringash> it's services.postgresql.initdbArgs
<DigitalKiwi> nix-build . -A standardnotes // is also broke on not aarch64 (since it doesn't work on aarch64 to begin with) i think also related to llvm
<DigitalKiwi> thefloweringash: how did you find that
zupo has quit [Ping timeout: 260 seconds]
<thefloweringash> i actually found it two ways: I guessed that someone did `<literal>foo<literal>` (two opening tags), so I grepped for that and it showed up.
<thefloweringash> and I also ran your nix-build, but with `--keep-output`, and went and read what was on line in the error, which showed it again
<thefloweringash> uh, `--keep-failed`
<DigitalKiwi> oh, --keep-output, duh >.>
<DigitalKiwi> oh, --keep-failed, duh >.>
<DigitalKiwi> thefloweringash++
<DigitalKiwi> so do you want to do the PR or should I
zupo has joined #nixos-aarch64
<DigitalKiwi> where's the bot
<thefloweringash> do you mind doing this one?
<DigitalKiwi> sure i'll do it
<thefloweringash> thanks :-)
<DigitalKiwi> the postgresql doc one right
<DigitalKiwi> idk what the other one needs :(
exarkun_ is now known as exarkun
<thefloweringash> too many issues scrolling by, yeah the doc one, was the other one standardnotes or did I miss one?
<DigitalKiwi> the other doc issue lol on aarch64 due to llvm and haskell
<thefloweringash> oh right, where it all started
zupo has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<DigitalKiwi> how's it been in there for 7 months but only now been a problem
<thefloweringash> the pr itself was merged 20 hours ago: https://github.com/NixOS/nixpkgs/pull/65245#event-3039772711
<DigitalKiwi> how'd it get merged if it's broken :(
<thefloweringash> I'm guessing there's no "manual builds" check on github
<DigitalKiwi> yay building '/nix/store/aqi5418ymzgk2390jbn00x5mn0rfnsrq-nixos-system-mvp-nixos-20.09.git.c0609be.drv'...
<DigitalKiwi> :D
<DigitalKiwi> FINALLY
<DigitalKiwi> THANKS
<DigitalKiwi> o
<DigitalKiwi> i've probably been fighting this for 20 hours :P
Yannik_Sc has joined #nixos-aarch64
<DigitalKiwi> https://dpaste.org/0m70 umm
<DigitalKiwi> am i supposed to commit all of that
<thefloweringash> uh, is that left over from your earlier iterations? the fix should just be in the postgres module
<DigitalKiwi> yeah idk how they all got like that
ryantrinkle has quit [Remote host closed the connection]
orivej has quit [Ping timeout: 268 seconds]
zarel has joined #nixos-aarch64
zarel_ has quit [Ping timeout: 268 seconds]
<srk> cool
wavirc22 has quit [Read error: Connection reset by peer]
wavirc22 has joined #nixos-aarch64
replikvlt has joined #nixos-aarch64
<replikvlt> hello
<replikvlt> if you remember me i asked few days ago about ethernet not working for me on raspberry pi 3B
<replikvlt> i reinstalled the build of 19.09 from hydra that was made 1d ago
<replikvlt> problem still remains. As i was asked to provide logs last time, i have a question: Which logs you would need and where can i find them?
<replikvlt> The problem is that raspberry pi doesn't connect to router and even ethernet port leds don't shine up upon connection/reconnection
<srk> hi, you need UART->USB adapter connected to UART pins on rpi
<srk> that way you have boot logs and shell
<replikvlt> well ok
<replikvlt> i'll try to connect it
<replikvlt> sorry i'm not too familiar with i have adapter which has txd rxd and ground contacts
<replikvlt> do i have to connect them crossed or the same way (ala txd on raspi -> rxd adapter or txd raspi -> txd adapter?
zarel has quit [Ping timeout: 260 seconds]
zarel has joined #nixos-aarch64
<DigitalKiwi> thefloweringash: bah
<DigitalKiwi> thefloweringash: Ma27 fixed it 45 minutes ago :P
replikvlt94 has joined #nixos-aarch64
<replikvlt94> ok wow i am impressed, i get a lot of "Could not configure display" erros
<replikvlt94> and it's resetting cpu
<replikvlt94> alright i am going to reflash it and retry
<replikvlt94> seems like i screwed up with update
<srk> :)
<srk> at least you can debug now :)
replikvlt94 has quit [Ping timeout: 260 seconds]
<replikvlt> yeah it's fun how it is set up. from laptop which stands on sofa back rest goes usb extension behind sofa into uart adapter and into a pi
<replikvlt> lol!
<srk> you can use something like esp8266 for wireless serial
<srk> I'm doing something similar with x230 laptop doing wifi->serial for arm novena .. :D
<srk> cause cables are bad
replikvlt41 has joined #nixos-aarch64
zupo has joined #nixos-aarch64
zupo_ has joined #nixos-aarch64
zupo has quit [Ping timeout: 272 seconds]
replikvlt41 has quit [Remote host closed the connection]
zupo_ has quit [Ping timeout: 240 seconds]
zupo has joined #nixos-aarch64
replikvlt47 has joined #nixos-aarch64
<replikvlt47> so i
<replikvlt47> i reflashed 3 times and editet extlinux.conf every time as guide suggests to be able to use uart
<replikvlt47> everything i get is
<replikvlt47> and it just cycles through it
<samueldr> replikvlt47: can you share the configuration you're using?
<samueldr> I have a hunch, if it is what I think it is, I'll be annoyed a bit (not at you)
<replikvlt47> configuration.nix? i don't have it because i just flash the default image and can't even edit it
<samueldr> hmm
<samueldr> which exact image?
<samueldr> and verifying, 3B non-plus?
<replikvlt47> yes
<replikvlt47> non-plus
<samueldr> I'll load it and test
<replikvlt47> image is the one created 1d ago in nixosonarm hydra
<samueldr> nixosonarm hydra?
<replikvlt47> this one
<samueldr> ah, that's juste the nixos hydra
<samueldr> thanks for the exact link
<replikvlt47> yeah if that helps
<samueldr> and you just `dd` it, right?
<samueldr> what `dd` invocation?
<replikvlt47> i also tried this one few days ago, and i don't know if this exact same problem appeared, but ethernet didn't work
<samueldr> is your SD card tested to be fine?
<samueldr> both of them should have roughly the same u-boot, so if u-boot worked on one, but not on the other it's a bit worrying
<replikvlt47> yes SDcars is working, i ran Openwrt on it before with no prob,just openwrt didn't suffice my usecase
<replikvlt47> and yes just dding to sdcard
<samueldr> some systems can be surprisingly resilient against funny suff going on on the block device
<samueldr> can you share the exac `dd` invocation? just in case
<samueldr> (even though unlikely, it's the "did you turn it off and on again", just making sure the basic steps are done right)
<replikvlt47> sure, it's `dd if=<path to image> of=/dev/mmcblk0 bs=4M status=progress`
<replikvlt47> mmcblk is a block device name of sdcard in my cardreader
<replikvlt47> mmcblk0*
<samueldr> yeah, that sounds right
<replikvlt47> i wonder if screen is required to be connected for raspberry to work?
<replikvlt47> in nixos
<samueldr> it shouldn't
<samueldr> and here you're not even in nixos yet
<samueldr> it's u-boot that's failing AFAICT from your boot
<replikvlt47> yep
<replikvlt47> just before that i tried to connect it to monitor and network (mobile as a usb modem) and i kinda could use it and even update it
<replikvlt47> but again, after i connected it as intended - ded server use it had same output in uart
cidkid has joined #nixos-aarch64
<cidkid> Can anyone link me to a raspi4 nixos image?
<samueldr> trying to
<samueldr> hydra's taking its time with my request :)
<cidkid> ah alright
<cidkid> Thanks
<samueldr> until mainline has better support for the pi 4, this is the temporary image that can be used
<cidkid> alrighty
<samueldr> comes with no documentation, no manual, users beware :)
<cidkid> I'll find my way around it
<cidkid> I'm sure
<cidkid> brb
cidkid has quit [Quit: Leaving.]
cidkid has joined #nixos-aarch64
<samueldr> replikvlt47: good news is: I can reproduce the issue
<samueldr> bad news is: uh
<cidkid> Oh yeah meant to ask, where does nixos-mobile mount vendor when looking for firmware
<samueldr> in /vendor
<cidkid> hmm
<samueldr> though that's a nixos configuration
<samueldr> I think it'll end up being "wherever that particular device needs it"
<cidkid> wonder if I can just point the vendor partition to a different partition thats not vendor and have bootlogd dump to their
<cidkid> *there
<samueldr> you could try
<samueldr> replikvlt47: the moment I plug it into a screen it continues correctly
<samueldr> so, there's that that's verified
<replikvlt> okay, i'm glad i could help
<samueldr> I'll try on unstable see if that u-boot is better behaved
<replikvlt> it really should default to no screen because well. I'm sure that not am the only one that wants to have a raspberry dedicated server xd
<replikvlt> okay
<samueldr> "default to no screen"?
<samueldr> that's not a default, it's more of a bug in u-boot than a configuration thing
<samueldr> it worked at one point, pretty sure
<samueldr> now, did it ever work on *that* u-boot version that's on 19.09? dunno
<replikvlt> oh, well sorry. i'm quite incompetent in arm computing. :D
<samueldr> don't worry, we all once were
<DigitalKiwi> hey now what's with that past tense
<samueldr> that's true, we all once were, that doesn't imply that we are all competent now
<DigitalKiwi> it me
<samueldr> replikvlt47: unstable verified to go past u-boot
<samueldr> replikvlt47: this means that 20.03 should be good too, once it hits stable
cidkid has quit [Quit: Leaving.]
Thra11 has joined #nixos-aarch64
<samueldr> if I was a bit less busy, and 19.09 not that close to EOL, I would look into fixing this, but... it apparently wasn't reported that it failed that way, so I'm not sure what to make of this
<samueldr> it's weird
cidkid has joined #nixos-aarch64
<replikvlt> it is, can't deny that
<replikvlt> well it seems like i be flashing debian tomorrow onto this thing. At least for now. Thanks for help.
<srk> or you can fix uboot on the sdcard manually :)
<replikvlt> i wish i knew how...
<srk> something like cp ${pkgs.ubootRaspberryPi3_32bit}/u-boot.bin firmware/u-boot-rpi3.bin
<srk> but 64 bit
<srk> ubootRaspberryPi3_64bit
<samueldr> oof
<samueldr> there's even easier
<srk> nix-build -p 'let plat = pkgsCross.aarch64-multiplatform; in plat.ubootRaspberryPi3_64bit'
<srk> yes
<srk> maybe even easier!
<samueldr> nix-build -A pkgsCross.aarch64-multiplatform.ubootRaspberryPi3_64bit
<srk> yeah, almost :)
<samueldr> (I wrote that section when I was learning [more] about nix, nixpkgs, nixos)
<srk> I've only altered some parts long ago
<replikvlt> hm, what is that supposed to do? `nix-build -A pkgsCross.aarch64-multiplatform.ubootRaspberryPi3_64bit`
<srk> lots of stuff is dated on that page
<srk> replikvlt: cross compile uboot for rpi3
<samueldr> you would do this from a nixos-unstable (or master) checkout of nixpkgs
<samueldr> that would give you the bin under result, that you could copy in the FIRMWARE partition of the sd card
<srk> with right filename :)
<replikvlt> the last message is super understandeable (y)
<replikvlt> (about the command that will make bin) xd
<replikvlt> when will nixos-19.09 hit EOL?
<samueldr> about a month after 20.03 hits stable
<samueldr> 20.03 is scheduled for march
<replikvlt> I see. Thank you very much! tomorrow i will try to crosscompile uboot. cya
replikvlt has quit [Remote host closed the connection]
replikvlt47 has quit [Remote host closed the connection]
cidkid has quit [Ping timeout: 265 seconds]
mvnetbiz_ has joined #nixos-aarch64
cidkid has joined #nixos-aarch64
zupo has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]