rajivr has joined #nixos-aarch64
<samueldr> colemickens: check PRs first
<samueldr> someone did
<samueldr> (though I'm thinking about doing the requested changes myself)
<samueldr> #89717
<{^_^}> https://github.com/NixOS/nixpkgs/pull/89717 (by SquircleSpace, 5 days ago, open): Support Raspberry Pi 4 (8 GB)
<colemickens> nice, that does bump what I need. /subscribe
h0m1 has quit [Ping timeout: 260 seconds]
h0m1 has joined #nixos-aarch64
bdju has quit [Read error: Connection reset by peer]
bdju has joined #nixos-aarch64
pkral has quit [Ping timeout: 260 seconds]
claudiii_ has quit [Ping timeout: 256 seconds]
NekomimiScience has quit [Ping timeout: 272 seconds]
angerman has quit [Read error: Connection reset by peer]
TheNumb has quit [Ping timeout: 260 seconds]
angerman has joined #nixos-aarch64
angerman has quit [Ping timeout: 256 seconds]
angerman has joined #nixos-aarch64
TheNumb has joined #nixos-aarch64
pkral has joined #nixos-aarch64
NekomimiScience has joined #nixos-aarch64
claudiii_ has joined #nixos-aarch64
NekomimiScience has quit [Ping timeout: 246 seconds]
claudiii_ has quit [Ping timeout: 256 seconds]
pkral has quit [Ping timeout: 240 seconds]
pkral has joined #nixos-aarch64
claudiii_ has joined #nixos-aarch64
angerman has quit [Ping timeout: 260 seconds]
TheNumb has quit [Ping timeout: 260 seconds]
TheNumb has joined #nixos-aarch64
NekomimiScience has joined #nixos-aarch64
angerman has joined #nixos-aarch64
Darkmatter66_ has joined #nixos-aarch64
Darkmatter66 has quit [Ping timeout: 260 seconds]
zarel_ has joined #nixos-aarch64
zarel has quit [Ping timeout: 260 seconds]
orivej has joined #nixos-aarch64
cole-h has quit [Quit: Goodbye]
Acou_Bass has quit [Ping timeout: 246 seconds]
Acou_Bass has joined #nixos-aarch64
orivej has quit [Quit: No Ping reply in 180 seconds.]
orivej has joined #nixos-aarch64
Acou_Bass has quit [Ping timeout: 256 seconds]
Acou_Bass has joined #nixos-aarch64
orivej has quit [Quit: No Ping reply in 180 seconds.]
orivej has joined #nixos-aarch64
orivej has quit [Ping timeout: 246 seconds]
orivej has joined #nixos-aarch64
FRidh has joined #nixos-aarch64
orivej has quit [Ping timeout: 264 seconds]
orivej_ has joined #nixos-aarch64
julm has quit [Remote host closed the connection]
julm has joined #nixos-aarch64
alp has joined #nixos-aarch64
zupo has joined #nixos-aarch64
wavirc22 has quit [Ping timeout: 260 seconds]
wavirc22 has joined #nixos-aarch64
alp has quit [Ping timeout: 272 seconds]
orivej_ has quit [Ping timeout: 256 seconds]
quinn has quit [Ping timeout: 260 seconds]
quinn has joined #nixos-aarch64
orivej has joined #nixos-aarch64
orivej has quit [Ping timeout: 256 seconds]
alp has joined #nixos-aarch64
orivej has joined #nixos-aarch64
<angerman> How often is the community builder redeployed?
<DigitalKiwi> as recently as a day ago
<angerman> DigitalKiwi: whee my key works!
tilpner has quit [Quit: tilpner]
orivej has quit [Ping timeout: 260 seconds]
orivej_ has joined #nixos-aarch64
evils has quit [Quit: Lost terminal]
evils 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
alp has quit [Ping timeout: 246 seconds]
Darkmatter66 has joined #nixos-aarch64
Darkmatter66_ has quit [Ping timeout: 256 seconds]
zarel has joined #nixos-aarch64
zarel_ has quit [Ping timeout: 265 seconds]
alp has joined #nixos-aarch64
zarel has quit [Quit: ZNC 1.7.5 - https://znc.in]
zarel has joined #nixos-aarch64
alp has quit [Ping timeout: 272 seconds]
orivej_ has joined #nixos-aarch64
orivej has quit [Ping timeout: 246 seconds]
zarel_ has joined #nixos-aarch64
zarel has quit [Ping timeout: 256 seconds]
zarel has joined #nixos-aarch64
zarel_ has quit [Ping timeout: 260 seconds]
andi- has quit [Remote host closed the connection]
andi- has joined #nixos-aarch64
orivej_ has quit [Ping timeout: 256 seconds]
orivej has joined #nixos-aarch64
ninjin has quit [Ping timeout: 240 seconds]
ninjin 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
Thra11 has quit [Ping timeout: 256 seconds]
zarel_ has joined #nixos-aarch64
zarel has quit [Ping timeout: 256 seconds]
orivej has quit [Quit: No Ping reply in 180 seconds.]
orivej has joined #nixos-aarch64
zarel_ has quit [Quit: ZNC 1.7.5 - https://znc.in]
zarel has joined #nixos-aarch64
orivej has quit [Quit: No Ping reply in 180 seconds.]
orivej has joined #nixos-aarch64
Thra11 has joined #nixos-aarch64
zupo has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
zarel has quit [Ping timeout: 256 seconds]
zarel has joined #nixos-aarch64
orivej has quit [Quit: No Ping reply in 180 seconds.]
orivej has joined #nixos-aarch64
Darkmatter66 has quit [Ping timeout: 260 seconds]
orivej has quit [Ping timeout: 256 seconds]
orivej_ has joined #nixos-aarch64
pinkieval has joined #nixos-aarch64
orivej_ has quit [Ping timeout: 260 seconds]
orivej has joined #nixos-aarch64
zarel has quit [Ping timeout: 264 seconds]
rajivr has quit [Quit: Connection closed for inactivity]
orivej has quit [Quit: No Ping reply in 180 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: 246 seconds]
orivej has joined #nixos-aarch64
orivej has quit [Ping timeout: 246 seconds]
orivej has joined #nixos-aarch64
orivej has quit [Ping timeout: 246 seconds]
orivej has joined #nixos-aarch64
orivej has quit [Ping timeout: 256 seconds]
orivej has joined #nixos-aarch64
orivej has quit [Ping timeout: 246 seconds]
orivej has joined #nixos-aarch64
cole-h has joined #nixos-aarch64
zupo has joined #nixos-aarch64
orivej has quit [Ping timeout: 246 seconds]
orivej has joined #nixos-aarch64
orivej has quit [Ping timeout: 264 seconds]
orivej_ has joined #nixos-aarch64
alp has joined #nixos-aarch64
orivej_ has quit [Ping timeout: 264 seconds]
orivej has joined #nixos-aarch64
orivej has quit [Read error: Connection reset by peer]
orivej has joined #nixos-aarch64
pbb_ is now known as pbb
orivej has quit [Quit: No Ping reply in 180 seconds.]
orivej has joined #nixos-aarch64
alp has quit [Remote host closed the connection]
alp has joined #nixos-aarch64
bdju has quit [Ping timeout: 246 seconds]
bdju has joined #nixos-aarch64
orivej has quit [Quit: No Ping reply in 180 seconds.]
orivej has joined #nixos-aarch64
orivej has quit [Ping timeout: 264 seconds]
orivej_ has joined #nixos-aarch64
alp has quit [Ping timeout: 272 seconds]
orivej_ has quit [Quit: No Ping reply in 180 seconds.]
orivej has joined #nixos-aarch64
alp has joined #nixos-aarch64
zarel has joined #nixos-aarch64
dongcarl has quit [Ping timeout: 256 seconds]
orivej has quit [Ping timeout: 246 seconds]
orivej has joined #nixos-aarch64
alp has quit [Ping timeout: 272 seconds]
zupo has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
zupo has joined #nixos-aarch64
cript0nauta has joined #nixos-aarch64
zarel has quit [Ping timeout: 240 seconds]
zarel has joined #nixos-aarch64
orivej has quit [Ping timeout: 260 seconds]
orivej has joined #nixos-aarch64
zarel has quit [Ping timeout: 260 seconds]
alp has joined #nixos-aarch64
zupo has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
zupo has joined #nixos-aarch64
zupo has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
zupo 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…]
zupo 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
FRidh has quit [Quit: Konversation terminated!]
alp has quit [Remote host closed the connection]
zupo has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
zupo has joined #nixos-aarch64
orivej has quit [Quit: No Ping reply in 180 seconds.]
orivej has joined #nixos-aarch64
zupo has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
irminsul has joined #nixos-aarch64
<irminsul> I just got Mobile NixOS booting on my pinephone UBPorts edition
<irminsul> building was pretty easy
<irminsul> I have no idea how to get it past the splash screen though, and I can't seem to find example configs
<samueldr> there's no real "example config" that I know of; not much work has happened for user-facing software on the running system
<samueldr> though your system has likely booted successfully into a system that does nothing 🎉
<samueldr> if you're using cross-compilation (building on an x86_64 system) you can use this example system to check it does boot successfully
<samueldr> not much more useful, but it's confirmation
orivej has quit [Ping timeout: 256 seconds]
<irminsul> When I held volume during boot it gave me a generations menu, and one of the options was "Default", which blanked the screen for a few seconds then showed a login prompt
<samueldr> this one has a hacky stage-2 system, but requires native compilation (on aarch64) https://github.com/NixOS/mobile-nixos/tree/master/examples/demo
<irminsul> Plugging a USB keyboard in didn
<samueldr> irminsul: yeah, there's an issue where the splash doesn't "revert" a lock on the framebuffer :)
<irminsul> 't work
<irminsul> gotcha
<samueldr> USB input *may* not be working for any distro yet, at least in like march it wasn't supposed to be
<samueldr> sadly, my device has a bum usb port, I can't do anything else than charge :(
<samueldr> note that the login prompt won't be much help, there is no user account or password configured!
<samueldr> a thing you can do
<irminsul> I was able to fix a thing that *looked* like a native compilation thingy by doing the qemu trick
<samueldr> download that img
<samueldr> and `dd` it over the second partition
<samueldr> that will put the demo system on
<irminsul> ooh, nice
<samueldr> (you may need to expand the second partition)
<samueldr> the stage-1 and stage-2 of mobile nixos, by design, are loosely coupled
<irminsul> my grand goal (which might be a lot to ask) is to try to basically nixos-package the graphical frontend stuff the manjaro folks have been doing
<samueldr> what have they been doing?
<irminsul> I think it's plasma mobile based
<samueldr> ah
<irminsul> the gui contenders I
<irminsul> 've seen are UB Touch and manjaro
<samueldr> there's phosh that exists too
<irminsul> though I saw one guy get plasma mobile working with a fedora build?
<samueldr> entirely plausible
<samueldr> I guess a plasma mobile GUI is basically a couple derivations away for us too
<samueldr> but I've been working almost exclusively on foundational work https://samuel.dionne-riel.com/blog/2020/04/24/mobile-nixos-breadth-first-development.html
<samueldr> and it shows! generally when I do something, it slots in nicely across all the device types
<samueldr> it takes more time than throwing a quick hack to make something work on one device though
<irminsul> yeah, it's a good idea for the project as a whole
<irminsul> brings things back to the old truism "Linux even runs on potatoes"
<samueldr> that's netbsd :)
<irminsul> never got really into netbsd but I'd believe it
<samueldr> I mean, the old "meme" was about NetBSD :)
<irminsul> of course now your toaster runs a weird patched linux that an intern pulled from a mirror in 2011 and won't work right unless you attach it to your wifi
<samueldr> ah, one thing I think I forgot to mention
<samueldr> anything packaged for users, that should go in Nixpkgs, the Mobile NixOS repo is only (mainly) for device specifics and abstraction
<samueldr> (but please ping me if it's intended for mobile use!)
<irminsul> yeah, I'll probably do something hacky and send a PR, and eventually I'll learn which repo to PR against ;)
<irminsul> so the rootfs you sent replaces the NIXOS_SYSTEM partition, right?
<samueldr> yes
<samueldr> you may need to resize your partition
<irminsul> huh, dd says it only copied 50M?
<irminsul> oh wait
<irminsul> wrong input
<irminsul> that's the jumpdrive thingy
<irminsul> I assumed the most recent thing I downloaded was it, but I hadn
<irminsul> 't downloaded it
<irminsul> what's the process for building this image if I want to tweak it?
<irminsul> I see it's mentioned in systems/rootfs.nix, but I'm still a little lost trying to understand what goes into the `nix-build` command listed at https://mobile.nixos.org/devices/pine64-pinephone-braveheart.html
<irminsul> also: it works!
<irminsul> woot
<samueldr> the device page has no mention of how to replace the "rootfs", it only mentions how to update the stage-1 things
<samueldr> (or build a full image)
<irminsul> this is much more functional than I expected
<irminsul> even if xfce on a phone is rough
<irminsul> when the screen is off we seem to be using ~1.5W and with the screen on, ~2.5-3W
<samueldr> I literally have done no optimization specific to the pinephone, other than what you can see on the repo
<samueldr> by this I want to say: the people working downstream on the pine64 org repo are doing great work
<samueldr> at some point I'll have to look into crust, now that it seems to be good
<samueldr> it replaces some of the firmwarey-level stuff for an open implementation, and it is much more optimized for suspended use
<samueldr> though, I was talking about the pinephone specific stuff :)
<samueldr> the interface you're using is a highly configured xfce + awesomewm, which is extremely rough, but as you said, much more functional than expected
<samueldr> to me, it was: how few hours of work can I use to cheat a functional user interface to show off at nixcon 2019 :)
<irminsul> yeah like
<irminsul> honestly
<irminsul> this is already a great starting point
<irminsul> nix-shells are working, the on screen keyboard is tolerable, firefox runs
<irminsul> audio doesn't seem to be working
<irminsul> lsusb lists stuff but plugging into the USB port doesn't seem to do anything
<irminsul> the bluetooth dock applet crashes when I use it
<samueldr> you'll need the firmware
<{^_^}> mobile-nixos#163 (by samueldr, 1 day ago, merged): pine64-pinephone-braveheart: Add firmware package
<samueldr> freshly merged
<samueldr> it can be either added to a stage-1 build, or to the stage-2 system
<samueldr> (it can get confusing I guess)
<irminsul> yeah I am slightly confused about where configs all go
<irminsul> I think the thing I'd really like as an example is like, "here's the process to go from nothing to a tweakable version of the demo"
<irminsul> right now I'm feeling a bit lost in the repo
<irminsul> but that aside, huge kudos for this. it's really neat so far
<irminsul> also your jank xfce setup is running way smoother than the UB touch gui
<samueldr> I think a hard thing to convey is how and where Mobile NixOS stops, and where "standard" NixOS starts
rajivr has joined #nixos-aarch64
<irminsul> I guess a starting point is "What does `nixos-rebuild switch` on the device look like and/or take?"
<irminsul> like my experience tweaking nixos is basically just doing modifications starting from the result of nixos-install on a live image
<irminsul> so building full disk images feels pretty novel
<samueldr> but the demo system doesn't copy its config!
<samueldr> so you'll probably end up having to import its config if you want to continue using it
<samueldr> I would personally *copy* it to /etc/nixos/demo-system and undo some of the unsafe default like forced passwords
<samueldr> note that lightdm **has no virtual keyboard**
<samueldr> so you can't log-in
<irminsul> oh wait, it spins up ssh
<irminsul> alright
<irminsul> nice
<samueldr> note that the example shows <mobile-nixos/...> paths
<samueldr> but nothing in the system prepares this in your NIX_PATH