orivej has quit [Ping timeout: 256 seconds]
orivej_ has joined #nixos-aarch64
orivej_ has quit [Ping timeout: 240 seconds]
orivej has joined #nixos-aarch64
<colemickens> DigitalKiwi: I have started begrudgingly using release-20.03 to get cachix on aarch64
<colemickens> I have other ideas longer-term but not enough time.
<colemickens> nixos-unstable for my packages, master for nixFlakes, release-20.03 for cachix :P
<samueldr> đź‘€ https://youtu.be/rdosT2yyA4g
<samueldr> colemickens: just in time
<samueldr> writing up the PR body and about to publish
<colemickens> I wish I could play along but my rational side had won out when preorders were open and I am PBP-less.
<samueldr> oh
<colemickens> I shall live vicariously while watching this video though.
<samueldr> I thought you were one of those who had one here
<samueldr> I won't ping you then :)
alp has quit [Ping timeout: 272 seconds]
orivej has quit [Ping timeout: 258 seconds]
orivej has joined #nixos-aarch64
quinn has quit [Quit: ZNC 1.7.5 - https://znc.in]
h0m1 has quit [Ping timeout: 260 seconds]
h0m1 has joined #nixos-aarch64
<{^_^}> samueldr/wip-pinebook-pro#13 (by samueldr, 4 minutes ago, open): Graphics for U-Boot
orivej has quit [Ping timeout: 256 seconds]
orivej_ has joined #nixos-aarch64
<samueldr> colemickens: lol
<colemickens> oh no, what did I do
<samueldr> I saw you asking for a pinebook pro :)
<samueldr> in case you still have some doubts, or debating with the rational side of you, I'm still on the fence between actually useful day-to-day device and more toy-like
<samueldr> I guess the future kernel updates are going to be the deciding factor
<colemickens> tbh, if it can run a VNC client for more than a few hours at a time I'll be sufficiently happy
<samueldr> probably can
<colemickens> well, I guess it depends on if libtouch + the touchpad are as bad as internet comments imply. I see mixed information.
<samueldr> it's not a multi-touch aware touchpad
<colemickens> 2 finger at least?
<samueldr> yes, but not to the OS
<samueldr> I should have said: the OS cannot see the touches
<samueldr> it's not terrible, not excellent either
<samueldr> but AFAICT there may be two different touch pads
<colemickens> Er, I meant libinput but I'm guessing you guessed that.
<samueldr> because experiences seem to vary wildly
<colemickens> Does that mean two finger scroll doesn't work at all? Or does libinput understand the events and present them properly?
<colemickens> Ah okay, that complicates things.
<samueldr> it works, the scroll events are pre-baked
<colemickens> cool
<colemickens> idk, even then I'm trying to become more of a keyboard guy.
<samueldr> I'm not sure that there are two touchpad models, that's an assumption I make from the wildly varying experiences
<colemickens> although, I just saw this... https://nexdock.com/blog/nexdock-touch/
<samueldr> the keyboard is really not bad
<samueldr> I have a nexdock 2
<colemickens> I've heard that repeatedly, yeah
<samueldr> (the model from before)
<samueldr> its touchpad is terrible
<colemickens> haha
<samueldr> it's the same manufacturer as the PBP
<samueldr> but configured with "windows fancy touchpad" emulation
orivej_ has quit [Ping timeout: 240 seconds]
<samueldr> it force sends useless key strokes
<colemickens> oof
<samueldr> triple-fingered-tap does a useless action
<samueldr> not middle click
orivej has joined #nixos-aarch64
<samueldr> I don't have high hopes that it's going to be better on the "touch"
<samueldr> since it looks like it's basically the same + webcam + touchscreen
<colemickens> Hm, ok, this is good to know, thank you.
<samueldr> like, everything else is perfect
<samueldr> but damn that touchpad is bad
<samueldr> well, not perfect, but dang good
<samueldr> (not perfect: if you use a raspberry pi, and its display suspends, the nexdock helpfully goes to sleep, cutting the cord to the pi)
<colemickens> oh hey, I found this Samuel guy with questions about firmwrae for the touchpad.
<samueldr> heh
<samueldr> he's a bit of a prick in the way he made his comments
<colemickens> /shrug I thought the tone was appropriate. I don't like when expectations are explicitly set and then not followed through on.
<colemickens> The implication that it has firmware is interesting though. I was half hoping to see someone hacking on it? Especially if it is the same as the one in the PBP.
<samueldr> that's my assumptions
<samueldr> but maybe they didn't let themselves a way in
* samueldr thinks
<samueldr> since the keyboard is just a usb keyboard, and you can connect it to any computer
<samueldr> maybe the same tooling can be used?
<samueldr> sure, the firmwares are most likely incompatible
orivej has quit [Ping timeout: 272 seconds]
orivej has joined #nixos-aarch64
orivej has quit [Quit: No Ping reply in 180 seconds.]
orivej has joined #nixos-aarch64
knerten2 has joined #nixos-aarch64
knerten1 has quit [Ping timeout: 272 seconds]
orivej has quit [Ping timeout: 240 seconds]
t184256 has joined #nixos-aarch64
shad has quit [Ping timeout: 244 seconds]
shad has joined #nixos-aarch64
rajivr has joined #nixos-aarch64
<DigitalKiwi> 04:03:48 [NoD@keyone ~]$ ghci
<DigitalKiwi> GHCi, version 8.8.3: https://www.haskell.org/ghc/ :? for help
<DigitalKiwi> Prelude>
<DigitalKiwi> lol :D
ninjin has quit [Remote host closed the connection]
ninjin has joined #nixos-aarch64
ninjin has quit [Remote host closed the connection]
ninjin has joined #nixos-aarch64
Asmadeus has joined #nixos-aarch64
cole-h has quit [Quit: Goodbye]
zupo has joined #nixos-aarch64
zupo has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
orivej has joined #nixos-aarch64
orivej has quit [Quit: No Ping reply in 180 seconds.]
zupo has joined #nixos-aarch64
orivej has joined #nixos-aarch64
orivej has quit [Ping timeout: 260 seconds]
orivej_ has joined #nixos-aarch64
orivej_ has quit [Quit: No Ping reply in 180 seconds.]
orivej has joined #nixos-aarch64
hexa- has quit [Quit: WeeChat 2.7.1]
hexa- has joined #nixos-aarch64
zupo has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
orivej has quit [Ping timeout: 256 seconds]
orivej has joined #nixos-aarch64
orivej has quit [Quit: No Ping reply in 180 seconds.]
orivej has joined #nixos-aarch64
<srk> DigitalKiwi: that's a bit dated! :D
<srk> built natively or cross?
<DigitalKiwi> native
<srk> what hw and how long? :)
<DigitalKiwi> aarch64.nixos.community and uh a long time
orivej has quit [Ping timeout: 256 seconds]
orivej has joined #nixos-aarch64
zupo has joined #nixos-aarch64
orivej has quit [Ping timeout: 256 seconds]
orivej_ has joined #nixos-aarch64
* srk trying cross build
orivej_ has quit [Quit: No Ping reply in 180 seconds.]
orivej has joined #nixos-aarch64
orivej has quit [Ping timeout: 240 seconds]
orivej has joined #nixos-aarch64
* DigitalKiwi tries building ghc8101
orivej has quit [Ping timeout: 256 seconds]
orivej has joined #nixos-aarch64
orivej has quit [Quit: No Ping reply in 180 seconds.]
orivej has joined #nixos-aarch64
alp has joined #nixos-aarch64
zupo has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
orivej has quit [Quit: No Ping reply in 180 seconds.]
claudiii_ has quit []
claudiii has joined #nixos-aarch64
<patagonicus> srk: I successfully cross compiled a system from x86_64 for armv7l a few days ago, although I didn't include everything that's usually included in the installer image. So looks like nixpkgs-unstable currently works for cross compiling. :)
<srk> \o/
<srk> I'm just waiting for strip .. :D
<srk> 7 minutes already hehe
<srk> not too bad, looks like ~2h with toolchain deps already built
<srk> patagonicus: my builds are slimmed a bit as well, some stuff is not really useful on embedded. cross builds are even more minimal but most of the fixes landed already
<patagonicus> I'll mostly build natively as I want my system to just auto-update, but I'm considering setting something up for some RPi projects were I just want to have a prebuilt image, plop in the card and have it run without touching it.
<patagonicus> But for now I'm working on automating getting an image built with LVM and LUKS. And waiting for more hardware to be delivered. *g*
<srk> that will eat cards :)
<srk> patagonicus++ considered that as well recently
<{^_^}> patagonicus's karma got increased to 4, it's a crit!
alp has quit [Ping timeout: 260 seconds]
<patagonicus> Yeah, I'm still debating if I just don't care about the cards since there won't be anything important on there (a tiny amount of data that will be backed up regularly) or if I want to move the store on the HDDs.
<patagonicus> But, then I wouldn't need the 32GB cards I already bought. :D
<srk> you can use one as a builder to update the others over ssh
<patagonicus> Oh, yeah, I plan as having them remote build for each other and update them on different days of the week.
<srk> sounds good
<patagonicus> It's a fun project. :)
<srk> what's the goal btw? :)
<patagonicus> Well, the usage is big network attached storage, mostly for backups, as well as having something to run a few things like monitoring on. For monitoring I currently use an old laptop, but that's using up quite a bit of area on my desk and I can't really plug in a large HDD without an external case.
<patagonicus> I could have probably used something that can take 2-4 HDDs, but putting Glusterfs on four smaller machines sounded like more fun and I got the Odroid HC2s recommended by a coworker.
<patagonicus> Oh, and once I have that running I'll replace the two small servers that are running at my parents' place with two HC2s. Their requirements are really simple and those two will be a lot less volume, quieter and easier for me to maintain. They currently have two small barebones with two HDDs, but compared to HC2s they are huge.
<srk> nice, I'm doing something similar - want to run most of my services on few rpis
<srk> only mediawiki feels too large, but since I've used that with git mediawiki remote I'll just switch to something like gitit (git based wiki basically)
<srk> DigitalKiwi: done! /nix/store/0cvyvz5alxcmms3xnaj120r46is9q0h2-armv7l-unknown-linux-gnueabihf-ghc-8.10.1
orivej has joined #nixos-aarch64
orivej has quit [Ping timeout: 240 seconds]
orivej has joined #nixos-aarch64
<patagonicus> Ooh. My order from Monday got shipped. I guess it'll arrive by Friday, probably earlier. That's 3 more HC2s to the one I already have plus a networking switch. So unless I managed to screw up picking the right type of power supply I can get some work done on the project this weekend. :)
orivej has quit [Ping timeout: 240 seconds]
ninjin has quit [Ping timeout: 240 seconds]
ninjin has joined #nixos-aarch64
orivej has joined #nixos-aarch64
orivej has quit [Ping timeout: 258 seconds]
orivej has joined #nixos-aarch64
zupo has joined #nixos-aarch64
orivej has quit [Ping timeout: 264 seconds]
<DigitalKiwi> 08:57:17 [kiwi@aarch64 ~][n-s]$ time nix build -f channel:nixos-unstable haskell.compiler.ghc8101
<DigitalKiwi> real 152m39.310s
<DigitalKiwi> user 0m3.380s
<DigitalKiwi> sys 0m1.726s
<DigitalKiwi> ...that had a head start i think too
zupo has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
zupo has joined #nixos-aarch64
<srk> DigitalKiwi: does it work?
<srk> I've built nix-build -E '(import <nixpkgs> {}).pkgs.pkgsCross.armv7l-hf-multiplatform.haskell.packages.ghc8101.ghcWithPackages (ps: [])' but that results in x86 binary and says 'Missing file: /nix/store.. -ghc-8.10.1/lib/settings'
<DigitalKiwi> 12:18:49 [kiwi@aarch64 ~][n-s]$ nix-shell -I nixpkgs=channel:nixos-unstable -p haskell.compiler.ghc8101
<DigitalKiwi> 12:18:53 [kiwi@aarch64 ~][n-s]$ ghci
<DigitalKiwi> GHCi, version 8.10.1: https://www.haskell.org/ghc/ :? for help
<DigitalKiwi> Prelude>
<srk> nice
<srk> aah that produces (with pkgsCross).. error: assertion ((stdenv).targetPlatform == (stdenv).hostPlatform) failed at /home/srk/git/nixpkgs/rpi_int/pkgs/development/compilers/ghc/8.6.5-binary.nix:8:1
<DigitalKiwi> has no one else had the errors i've been getting :(
<srk> oh but this one has armv7l tarballs https://downloads.haskell.org/~ghc/8.10.1/
<DigitalKiwi> srk: if you want it and have access to aarch64.nixos.community it's on there
<DigitalKiwi> UNTIL IT REBOOTS AND I HAVE TO DO IT AGAIN
<srk> not really because I need armv7l one :)
<DigitalKiwi> though i've nix-copy-closured it to my phone and rpi...
<DigitalKiwi> oh
<DigitalKiwi> i get that for various things :(
<srk> nix versions mismatch?
<DigitalKiwi> on my phone it could be because of nix-on-droid overlays i guess
<DigitalKiwi> and on my rpi idk :(
<DigitalKiwi> how's the server get this version of nix nix-env (Nix) 2.4pre7805_984e5213
<DigitalKiwi> ah, nixUnstable
<DigitalKiwi> samueldr: you know how on the raspberry pi 3b you mentioned to boot from usb you had to do something that was irreversible? is that the case on the 3b+ ?
alp has joined #nixos-aarch64
orivej has joined #nixos-aarch64
Thra11 has quit [Ping timeout: 260 seconds]
orivej_ has joined #nixos-aarch64
orivej has quit [Ping timeout: 256 seconds]
orivej_ has quit [Ping timeout: 256 seconds]
orivej has joined #nixos-aarch64
Thra11 has joined #nixos-aarch64
orivej has quit [Ping timeout: 258 seconds]
orivej has joined #nixos-aarch64
orivej has quit [Ping timeout: 256 seconds]
orivej_ has joined #nixos-aarch64
orivej has joined #nixos-aarch64
orivej_ has quit [Ping timeout: 260 seconds]
orivej has quit [Ping timeout: 256 seconds]
orivej has joined #nixos-aarch64
orivej has quit [Ping timeout: 246 seconds]
orivej has joined #nixos-aarch64
orivej has quit [Quit: No Ping reply in 180 seconds.]
orivej has joined #nixos-aarch64
orivej has quit [Ping timeout: 260 seconds]
cole-h has joined #nixos-aarch64
orivej has joined #nixos-aarch64
orivej has quit [Ping timeout: 256 seconds]
orivej has joined #nixos-aarch64
<colemickens> Lots of exciting stuff in there. I don't see how I can't buy the 3GB version PinePhone. PBP pre-orders re-confirmed to be opening up again soon. And a familiar uboot video! Pinecil and Pinecube inspire some ideas too.
orivej has quit [Ping timeout: 240 seconds]
orivej has joined #nixos-aarch64
orivej has quit [Quit: No Ping reply in 180 seconds.]
orivej has joined #nixos-aarch64
<patagonicus> Sigh. I really don't need another laptop, but the PBP is really tempting me.
<patagonicus> What's the Pinebook Pro dock? Is it "just" a USB-C dock?
lordcirth has joined #nixos-aarch64
alp has quit [Ping timeout: 272 seconds]
orivej has quit [Ping timeout: 240 seconds]
alp has joined #nixos-aarch64
orivej has joined #nixos-aarch64
<ashkitten> interesting, they're now saying they're exploring a slide-out keyboard similar to the nokia n900
<ashkitten> whereas before they were talking about something like the psion series 5
orivej has quit [Quit: No Ping reply in 180 seconds.]
orivej has joined #nixos-aarch64
<samueldr> DigitalKiwi: IIRC no, not the same for the 3B+
<ashkitten> i wonder if there will be a pinephone upgrade kit
alp has quit [Ping timeout: 260 seconds]
<samueldr> my guess is it's unlikely since the motherboard must be a good chunk of the price
<samueldr> more likely is that as a previous owner you could buy spare pieces
<samueldr> (which is kind of the same in the end)
<ashkitten> would it be possible for someone with good soldering skills to upgrade the ram or emmc?
orivej has quit [Ping timeout: 272 seconds]
orivej_ has joined #nixos-aarch64
<samueldr> I guess so?
<samueldr> the eMMC modules are basically a common component with the same specs
<samueldr> e.g. the devkit used those on boards that can be removed like there is in the pinebook and pinebook pro
<samueldr> but there was no way to fit that into the profile of the phone
<samueldr> RAM I guess so, but whew, not sure
<samueldr> hm, RAM must be on the oether side?
rajivr has quit [Quit: Connection closed for inactivity]
noonien has joined #nixos-aarch64
orivej_ has quit [Ping timeout: 264 seconds]
orivej has joined #nixos-aarch64
orivej has quit [Quit: No Ping reply in 180 seconds.]
orivej has joined #nixos-aarch64
orivej has quit [Ping timeout: 240 seconds]
orivej has joined #nixos-aarch64
orivej has quit [Ping timeout: 256 seconds]
orivej has joined #nixos-aarch64
zupo has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
orivej has quit [Quit: No Ping reply in 180 seconds.]
orivej has joined #nixos-aarch64
orivej has quit [Quit: No Ping reply in 180 seconds.]
orivej has joined #nixos-aarch64
<patagonicus> Nix(OS) is just amazing. <3
<samueldr> no why are you stating this, patagonicus?
<samueldr> you can't go saying things like this and not explaining yourself
<patagonicus> I now can do `nix-build; and ./result` (fish shell, it uses and instead of &&) and I'll end up with an SD card image that boots with root on LVM on LUKS with SSH unlock. :)
<patagonicus> Sorry, bit slow to type. :D
<samueldr> :)
<patagonicus> Lots of things are still hard coded and I'll need to do a few things to make it work with four slightly different configurations (for things like hostnames), but overall it works. Cross compiling doesn't, for some reason it doesn't install the dtbs. And even if it did uboot would probably try to load the wrong one.
orivej has quit [Ping timeout: 256 seconds]
orivej has joined #nixos-aarch64
zupo has joined #nixos-aarch64
<theotherjimmy[m]> patagonicus, that sounds like a sweet setup you're building there. Also, fish supports &&, but you have to drop the ;
<patagonicus> Yeah, but that was added after I started using fish. :P
<theotherjimmy[m]> Oh, that's possible. I have been using fish for only a few years now
orivej has quit [Quit: No Ping reply in 180 seconds.]
orivej has joined #nixos-aarch64
orivej has quit [Quit: No Ping reply in 180 seconds.]
orivej has joined #nixos-aarch64
alp has joined #nixos-aarch64
orivej has quit [Quit: No Ping reply in 180 seconds.]
orivej has joined #nixos-aarch64
noonien has quit [Quit: Connection closed for inactivity]
orivej has quit [Quit: No Ping reply in 180 seconds.]
orivej has joined #nixos-aarch64
<c00w> patagonicus: Nice - I've actually built a very similar thing (although I build mine as flat disk image that runs on the machine and bootstraps the encrypted root). How did you get cryptsetup to operate on a flat disk file? Any chance this is online somewhere?
orivej_ has joined #nixos-aarch64
orivej has quit [Ping timeout: 265 seconds]
orivej_ has quit [Quit: No Ping reply in 180 seconds.]
orivej has joined #nixos-aarch64
orivej has quit [Ping timeout: 256 seconds]
orivej has joined #nixos-aarch64
orivej has quit [Ping timeout: 256 seconds]
orivej has joined #nixos-aarch64