worldofpeace_ changed the topic of #nixos-dev to: #nixos-dev NixOS Development (#nixos for questions) | NixOS 20.03 BETA Announced | | | 19.09 RMs: disasm, sphalerite; 20.03: worldofpeace, disasm |
drakonis has joined #nixos-dev
<infinisil> Argh, do we not have any decent docs on creating basic nix-shell environments?
<drakonis> the kind of docs you'd find on someone's blog on the internet or the kind you'd get on the official docs?
<drakonis> the existing official docs include nix pills, which has a single chapter on nix-shell that assumes you've sat through the previous 9
<drakonis> and the wiki has a page on it that's somewhat basic.
<infinisil> That's decent
<infinisil> I'd expect something in the official docs though
<worldofpeace> infinisil: well, if they were easy to write...
<worldofpeace> my process for writing nixos docs. new branch. draft and write in markdown. translate to docbook
drakonis has quit [Ping timeout: 255 seconds]
drakonis has joined #nixos-dev
<infinisil> Yeah I should probably do the same instead of just mulling over it
abathur has joined #nixos-dev
lovesegfault has joined #nixos-dev
drakonis has quit [Quit: WeeChat 2.7.1]
<aanderse> infinisil: how charitable are you atm?
<gchristensen> lol
<aanderse> ^_^
<worldofpeace> It actually isn't too bad if you handle it like that infinisil
bhipple has joined #nixos-dev
cole-h has quit [Quit: WeeChat 2.7.1]
cole-h has joined #nixos-dev
cptchaos83 has quit [Quit: - Chat comfortably. Anywhere.]
cptchaos83 has joined #nixos-dev
das_j has quit [Quit: killed]
ajs124 has quit [Quit: killed]
Scriptkiddi has quit [Quit: killed]
Scriptkiddi has joined #nixos-dev
ajs124 has joined #nixos-dev
das_j has joined #nixos-dev
cole-h has quit [Quit: WeeChat 2.7.1]
cole-h has joined #nixos-dev
cole-h has quit [Client Quit]
<infinisil> aanderse: Feel free to just ask if you need something :)
<infinisil> I am feeling a bit lazy recently though, or maybe it's lack of motivation
<aanderse> earlier was trying to define a moreso complex option type
<aanderse> then i decided netflix was a better use of my time
<infinisil> Hehe
<infinisil> I do know a bunch about option types
<infinisil> I'll have to call it sleepy time for now though
<aanderse> mhm me too
<aanderse> have a good one
<infinisil> Same :)
cole-h has joined #nixos-dev
cole-h has quit [Quit: WeeChat 2.7.1]
<lovesegfault> gchristensen: are you around?
cole-h has joined #nixos-dev
orivej has joined #nixos-dev
orivej has quit [Ping timeout: 265 seconds]
abathur has quit [Ping timeout: 240 seconds]
abathur has joined #nixos-dev
cole-h has quit [Quit: WeeChat 2.7.1]
cole-h has joined #nixos-dev
lovesegfault has quit [Ping timeout: 240 seconds]
lovesegfault has joined #nixos-dev
justanotheruser has quit [Ping timeout: 272 seconds]
bhipple has quit [Ping timeout: 260 seconds]
abathur has quit [Quit: abathur]
justanotheruser has joined #nixos-dev
<genesis> hi
cole-h has quit [Ping timeout: 258 seconds]
_ris has quit [Ping timeout: 268 seconds]
Jackneill has joined #nixos-dev
<genesis> i've some nixpkgs design question, i would like to unify appimage-run to make this script use more nixpkgs builtin (first appimagetool.extract, next some makedestop fixes and others)
<genesis> it's quite same feature and some derivation like standardnotes use appimage-run instead of appimagetool.
ChanServ has quit [*.net *.split]
phreedom has quit [*.net *.split]
gchristensen has quit [*.net *.split]
fadenb has quit [*.net *.split]
catern has quit [*.net *.split]
codyopel has quit [*.net *.split]
Dandellion has quit [*.net *.split]
dtz has quit [*.net *.split]
angerman has quit [*.net *.split]
emilazy has quit [*.net *.split]
srhb has quit [*.net *.split]
nh2 has quit [*.net *.split]
alunduil has quit [*.net *.split]
c00w has quit [*.net *.split]
michaelpj has quit [*.net *.split]
zimbatm has quit [*.net *.split]
disasm has quit [*.net *.split]
shlevy has quit [*.net *.split]
etu has quit [*.net *.split]
ajs124 has quit [*.net *.split]
multun has quit [*.net *.split]
octe has quit [*.net *.split]
MoreTea has quit [*.net *.split]
callahad8707 has quit [*.net *.split]
ivan has quit [*.net *.split]
johnny101 has quit [*.net *.split]
kgz has quit [*.net *.split]
harrow has quit [*.net *.split]
janneke has quit [*.net *.split]
pie_[bnc] has quit [*.net *.split]
kraem has quit [*.net *.split]
m1cr0m4n has quit [*.net *.split]
grw has quit [*.net *.split]
delroth has quit [*.net *.split]
hl has quit [*.net *.split]
cransom has quit [*.net *.split]
FireFly has quit [*.net *.split]
yorick has quit [*.net *.split]
thonkpod has quit [*.net *.split]
ekleog has quit [*.net *.split]
stew has quit [*.net *.split]
danderson has quit [*.net *.split]
nbp has quit [*.net *.split]
ryantm has quit [*.net *.split]
adisbladis has quit [*.net *.split]
rycee has quit [*.net *.split]
Ericson2314 has quit [*.net *.split]
domenkozar[m] has quit [*.net *.split]
qyliss has quit [*.net *.split]
Shados has quit [*.net *.split]
mingc has quit [*.net *.split]
sorear has quit [*.net *.split]
rsa has quit [*.net *.split]
simpson has quit [*.net *.split]
sdier has quit [*.net *.split]
mjsir911 has quit [*.net *.split]
lovesegfault has quit [*.net *.split]
zarel has quit [*.net *.split]
edef has quit [*.net *.split]
mmlb has quit [*.net *.split]
clever has quit [*.net *.split]
makefu has quit [*.net *.split]
das_j has quit [*.net *.split]
alp has quit [*.net *.split]
justanotheruser has quit [*.net *.split]
rajivr___ has quit [*.net *.split]
genesis has quit [*.net *.split]
globin has quit [*.net *.split]
bennofs has quit [*.net *.split]
samueldr has quit [*.net *.split]
infinisil has quit [*.net *.split]
niksnut has quit [*.net *.split]
lassulus has quit [*.net *.split]
q3k has quit [*.net *.split]
lightbulbjim has quit [*.net *.split]
chrisaw has quit [*.net *.split]
johanot has quit [*.net *.split]
tdeo has quit [*.net *.split]
cocreature has quit [*.net *.split]
scott has quit [*.net *.split]
marek has quit [*.net *.split]
primeos has quit [*.net *.split]
ericnoan has quit [*.net *.split]
NinjaTrappeur has quit [*.net *.split]
cptchaos83 has quit [*.net *.split]
evanjs has quit [*.net *.split]
tilpner has quit [*.net *.split]
obadz has quit [*.net *.split]
asymmetric has quit [*.net *.split]
evils has quit [*.net *.split]
page has quit [*.net *.split]
averell has quit [*.net *.split]
srk has quit [*.net *.split]
hyperfekt has quit [*.net *.split]
rnhmjoj has quit [*.net *.split]
aanderse has quit [*.net *.split]
mkg20001 has quit [*.net *.split]
jonge[m] has quit [*.net *.split]
jtojnar has quit [*.net *.split]
emily has quit [*.net *.split]
jared-w has quit [*.net *.split]
Mic92 has quit [*.net *.split]
manveru has quit [*.net *.split]
Taneb has quit [*.net *.split]
mkaito has quit [*.net *.split]
klys has quit [*.net *.split]
misuzu has quit [*.net *.split]
davidtwco has quit [*.net *.split]
hexa- has quit [*.net *.split]
kalbasit has quit [*.net *.split]
fpletz has quit [*.net *.split]
capisce has quit [*.net *.split]
flokli has quit [*.net *.split]
CRTified has quit [*.net *.split]
clkamp_ has quit [*.net *.split]
Emantor has quit [*.net *.split]
edwtjo has quit [*.net *.split]
aminechikhaoui has quit [*.net *.split]
arianvp has quit [*.net *.split]
betawaffle has quit [*.net *.split]
spacekookie has quit [*.net *.split]
Profpatsch has quit [*.net *.split]
teehemkay has quit [*.net *.split]
tazjin has quit [*.net *.split]
ashkitten has quit [*.net *.split]
abbradar[m] has quit [*.net *.split]
thefloweringash has quit [*.net *.split]
vaibhavsagar has quit [*.net *.split]
Ox4A6F has quit [*.net *.split]
lopsided98 has quit [*.net *.split]
puck has quit [*.net *.split]
bennofs[m] has quit [*.net *.split]
greizgh has quit [*.net *.split]
Jackneill has quit [*.net *.split]
Scriptkiddi has quit [*.net *.split]
WilliButz has quit [*.net *.split]
kcalvinalvin has quit [*.net *.split]
LnL has quit [*.net *.split]
tetdim has quit [*.net *.split]
pepesza has quit [*.net *.split]
vdemeester has quit [*.net *.split]
layus[m] has quit [*.net *.split]
tokudan[m] has quit [*.net *.split]
colemickens has quit [*.net *.split]
sphalerite has quit [*.net *.split]
cbarrett has quit [*.net *.split]
bgamari has quit [*.net *.split]
carter has quit [*.net *.split]
elvishjerricco has quit [*.net *.split]
aristid has quit [*.net *.split]
aria has quit [*.net *.split]
georgyo has quit [*.net *.split]
feepo has quit [*.net *.split]
tv has quit [*.net *.split]
thoughtpolice has quit [*.net *.split]
teozkr has quit [*.net *.split]
andi- has quit [Ping timeout: 240 seconds]
genesis has joined #nixos-dev
teehemkay has joined #nixos-dev
evanjs has joined #nixos-dev
codyopel has joined #nixos-dev
Scriptkiddi has joined #nixos-dev
makefu has joined #nixos-dev
johnny101 has joined #nixos-dev
chrisaw has joined #nixos-dev
primeos has joined #nixos-dev
das_j has joined #nixos-dev
vdemeester has joined #nixos-dev
Ericson2314 has joined #nixos-dev
phreedom has joined #nixos-dev
cocreature has joined #nixos-dev
angerman has joined #nixos-dev
dtz has joined #nixos-dev
colemickens has joined #nixos-dev
greizgh has joined #nixos-dev
srk has joined #nixos-dev
pie_[bnc] has joined #nixos-dev
jonge[m] has joined #nixos-dev
zimbatm has joined #nixos-dev
thonkpod has joined #nixos-dev
ryantm has joined #nixos-dev
tetdim has joined #nixos-dev
WilliButz has joined #nixos-dev
mingc has joined #nixos-dev
tazjin has joined #nixos-dev
Mic92 has joined #nixos-dev
q3k has joined #nixos-dev
grw has joined #nixos-dev
tdeo has joined #nixos-dev
jtojnar has joined #nixos-dev
flokli has joined #nixos-dev
NinjaTrappeur has joined #nixos-dev
kraem has joined #nixos-dev
Profpatsch has joined #nixos-dev
zarel has joined #nixos-dev
Taneb has joined #nixos-dev
catern has joined #nixos-dev
obadz has joined #nixos-dev
adisbladis has joined #nixos-dev
davidtwco has joined #nixos-dev
harrow has joined #nixos-dev
Ox4A6F has joined #nixos-dev
marek has joined #nixos-dev
rajivr___ has joined #nixos-dev
klys has joined #nixos-dev
michaelpj has joined #nixos-dev
sphalerite has joined #nixos-dev
tv has joined #nixos-dev
ivan has joined #nixos-dev
vaibhavsagar has joined #nixos-dev
spacekookie has joined #nixos-dev
ajs124 has joined #nixos-dev
FireFly has joined #nixos-dev
emilazy has joined #nixos-dev
emily has joined #nixos-dev
mkg20001 has joined #nixos-dev
rycee has joined #nixos-dev
mkaito has joined #nixos-dev
nbp has joined #nixos-dev
averell has joined #nixos-dev
bgamari has joined #nixos-dev
nh2 has joined #nixos-dev
sdier has joined #nixos-dev
delroth has joined #nixos-dev
cbarrett has joined #nixos-dev
ericnoan has joined #nixos-dev
teozkr has joined #nixos-dev
lopsided98 has joined #nixos-dev
MoreTea has joined #nixos-dev
kcalvinalvin has joined #nixos-dev
johanot has joined #nixos-dev
LnL has joined #nixos-dev
c00w has joined #nixos-dev
puck has joined #nixos-dev
niksnut has joined #nixos-dev
multun has joined #nixos-dev
ekleog has joined #nixos-dev
jared-w has joined #nixos-dev
hexa- has joined #nixos-dev
betawaffle has joined #nixos-dev
globin has joined #nixos-dev
samueldr has joined #nixos-dev
etu has joined #nixos-dev
Jackneill has joined #nixos-dev
yorick has joined #nixos-dev
bennofs[m] has joined #nixos-dev
scott has joined #nixos-dev
infinisil has joined #nixos-dev
kgz has joined #nixos-dev
tokudan[m] has joined #nixos-dev
misuzu has joined #nixos-dev
Emantor has joined #nixos-dev
cransom has joined #nixos-dev
thoughtpolice has joined #nixos-dev
aminechikhaoui has joined #nixos-dev
edef has joined #nixos-dev
cptchaos83 has joined #nixos-dev
mjsir911 has joined #nixos-dev
hyperfekt has joined #nixos-dev
fadenb has joined #nixos-dev
manveru has joined #nixos-dev
pepesza has joined #nixos-dev
hl has joined #nixos-dev
feepo has joined #nixos-dev
elvishjerricco has joined #nixos-dev
arianvp has joined #nixos-dev
rnhmjoj has joined #nixos-dev
thefloweringash has joined #nixos-dev
ChanServ has joined #nixos-dev
Shados has joined #nixos-dev
stew has joined #nixos-dev
bennofs has joined #nixos-dev
m1cr0m4n has joined #nixos-dev
callahad8707 has joined #nixos-dev
clever has joined #nixos-dev
janneke has joined #nixos-dev
asymmetric has joined #nixos-dev
aristid has joined #nixos-dev
alp has joined #nixos-dev
CRTified has joined #nixos-dev
fpletz has joined #nixos-dev
clkamp_ has joined #nixos-dev
edwtjo has joined #nixos-dev
sorear has joined #nixos-dev
danderson has joined #nixos-dev
mmlb has joined #nixos-dev
carter has joined #nixos-dev
octe has joined #nixos-dev
Dandellion has joined #nixos-dev
abbradar[m] has joined #nixos-dev
tilpner has joined #nixos-dev
rsa has joined #nixos-dev
ashkitten has joined #nixos-dev
domenkozar[m] has joined #nixos-dev
simpson has joined #nixos-dev
lightbulbjim has joined #nixos-dev
srhb has joined #nixos-dev
qyliss has joined #nixos-dev
georgyo has joined #nixos-dev
gchristensen has joined #nixos-dev
lassulus has joined #nixos-dev
kalbasit has joined #nixos-dev
aria has joined #nixos-dev
disasm has joined #nixos-dev
capisce has joined #nixos-dev
alunduil has joined #nixos-dev
evils has joined #nixos-dev
page has joined #nixos-dev
shlevy has joined #nixos-dev
aanderse has joined #nixos-dev
layus[m] has joined #nixos-dev
dmj` has quit [Ping timeout: 248 seconds]
dmj` has joined #nixos-dev
evils has quit [Remote host closed the connection]
__monty__ has joined #nixos-dev
andi- has joined #nixos-dev
<domenkozar[m]> I think this is best solved at service level
<domenkozar[m]> because it will apply to everyone without any changes
<domenkozar[m]> (user changes)
<srk> well I guess some people want to have stuff duplicated
<domenkozar[m]> it will be opt out
evils has joined #nixos-dev
<arianvp> anybody here familiar with running nixos on sunxi chips?
<arianvp> I got stuff working with upstream uboot; but the machine only boots if I have the HDMI disconnected during boot
<arianvp> if I connect HDMI before starting, nixos nevers posts
<tilpner> arianvp: See #nixos-aarch64. I had it working on a Pinebook, but not with my own kernel config
noonien has quit [Quit: Connection closed for inactivity]
tilpner_ has joined #nixos-dev
tilpner has quit [Ping timeout: 258 seconds]
__monty__ has quit [Quit: leaving]
<sphalerite> Mic92: spacekookie: worldofpeace: niksnut: hey, are you coming to the RFC meeting?
<Mic92> sphalerite: there already
<sphalerite> (I see one other person is already there, just not who it is)
<sphalerite> ah ok
<worldofpeace> sphalerite: oohhh sorry. I meant to make an email that I could not make it today yesterday, but I forgot to put that on my todo's.
<sphalerite> alright
<sphalerite> no spacekookie either I suppose?
<Mic92> It is the second time spacekookie is not there without any notice.
<sphalerite> Mic92: you seem to have disappeared from the meeting?
<Mic92> sphalerite: Looks like my connection is flacky also my wifi signal looks great.
<sphalerite> \o/
<niksnut> connection got dropped...
<gchristensen> what do you use for the call?
<niksnut> jitsi
<Mic92> sphalerite: you are still disconnected.
<niksnut> it seems to be having issues today
<sphalerite> >_<
<Mic92> Worked great until now.
<sphalerite> do you happen to have mumble set up?
<gchristensen> I can also start a zoom call
<sphalerite> Mic92: won't let me participate without an account
* infinisil has a mumble server running at
<spacekookie> shit, I'll be there in a second
<spacekookie> If there's still a meeting
<sphalerite> yep we're in jitsi
<spacekookie> Is everyone muted or iss my jitsi broken?
<sphalerite> I think it's not just yours, mine is broken too
ixxie has joined #nixos-dev
<niksnut> urgh
<Mic92> too me you all look muted
<sphalerite> same
<sphalerite> mumble on
<niksnut> yeah
<niksnut> I mean you all look muted, not mumble
<niksnut> I don't have mumble set up
<niksnut> maybe we should just wrap up here on IRC :-)
<sphalerite> alright
<spacekookie> I left the channel and it's refusing to reconnect >.>
<spacekookie> So maybe
<Mic92> We could do so I suppose
<niksnut> I closed RFC 56
<Mic92> rfc59 has shepherds in its description. I will ask the leader to create a meeting.
<niksnut> +1
<sphalerite> 58 doesn't need any input currently I'd say
<sphalerite> +1 for mic92 pinging 59
<Mic92> anything to do for rfc 62 (content-addressed store) ?
<sphalerite> nope, active discussion
<spacekookie> Yea
<sphalerite> imo
<spacekookie> Looks actively discussed
<sphalerite> What about 17? It's been inactive for a long time now, do we want to ping the shepherds?
<Mic92> Should get a meeting?
<{^_^}> rfcs#40 (by Ericson2314, 1 year ago, open): [RFC 0040] "Ret-cont" recursive Nix
<spacekookie> 17 does look a bit stalled
<spacekookie> Who are the shepherds?
<Mic92> Shea Levy, Vladimír Čunát, Eelco Dolstra, Nicolas B. Pierron with Shea as leader
<niksnut> RFC 62 is more active/viable
<spacekookie> I think pinging them is probably a good idea
<Mic92> I did.
<spacekookie> Kk
<Mic92> I also asked for RFC58
<spacekookie> Did you already discoss 49 on the call before?
<Mic92> Yes
<sphalerite> yep, nothing to be done on the steering committee side there
<spacekookie> kk
<sphalerite> spacekookie: do you have the pad open?
<spacekookie> Yea
<spacekookie> It wasn't ticked that's why I asked
<sphalerite> I'll ping fpletz about 40
<Mic92> The config options one also looks good to me:
<{^_^}> rfcs#42 (by Infinisil, 49 weeks ago, open): [RFC 0042] NixOS settings options
<Mic92> Looks good than.
<infinisil> I have to do some finishing work for that
<sphalerite> ^
<sphalerite> that's still happening?
<sphalerite> (no pressure, just to check ;) )
<Mic92> We should just create an issue with the markdown text and add the leader for the next meeting.
<sphalerite> yeah that was my plan :)
<infinisil> sphalerite: If you're asking me, yeah. Just didn't have much motivation recently :)
<Mic92> Any other points to discuss?
<Mic92> spacekookie: I would appriate if you could set yourself a calender reminder or so for the meetings.
<sphalerite> would be nice to have more technically working-y meetings.
<spacekookie> Mic92: yea sorry
<spacekookie> Was there an e-mail invite for this week?
<spacekookie> I didn't get anything. Anyway, the next one is in 2 weeks?
<sphalerite> it's a recurring calendar event, isn't it?
<Mic92> spacekookie: Usually the google calender event sents you an email.
<sphalerite> yes, next one in two weeks
<spacekookie> Mic92: I just checked my inbox, I definitely did not get anything :(
<Mic92> spacekookie: ?
<sphalerite> well there wasn't a new event, right? It was the one invitation for the recurring event
<Mic92> yes. It's the same event.
<sphalerite> I didn't get a new email either, I think that's intended behvaiour
<Mic92> I do get one 10 minutes before.
<spacekookie> Hm, maybe I did something wrong when importing the event that made it non-recurring
<spacekookie> Anyway, got a reminder setup manually now. Again - sorry!
<sphalerite> so for technical workingness of the meeting: can we try mumble next time? That's always been the most reliable for me
<sphalerite> plus it doesn't make the fan on my laptop go faster x)
<spacekookie> I'd be happy to try it
<niksnut> sure
<niksnut> btw could we move the meeting half an hour later (i.e. 15:00 CET)? I have a conflict at the current time
<Mic92> niksnut: In general or just next week?
<Mic92> sphalerite: Could just sent out an email with the connection details?
<niksnut> in general
<niksnut> I'll send an email
abathur has joined #nixos-dev
page has quit [Ping timeout: 258 seconds]
page has joined #nixos-dev
cole-h has joined #nixos-dev
misuzu has quit [Remote host closed the connection]
misuzu has joined #nixos-dev
justanotheruser has joined #nixos-dev
<genesis> i get no substitute, seems i can't use it to mock nativebuildinputs
<genesis> if i put a buildInputs in the let, same, no substitute
<genesis> i'm a bit stuck on that.
drakonis has joined #nixos-dev
<genesis> i think i've to make a mkderivation for the script and put in the targetPkgs
lovesegfault has joined #nixos-dev
<clever> genesis: i dont think the $out/bin on line 18 is the bin used by the fhs env
<genesis> i did a not so clever find /nix/store/ -iname -exec nix-store --delete --ignore-liveness {} \;
<genesis> to ensure that ;)
<genesis> anyway i try to make a derivation for the script, i need to go further to open a wip PR.
<clever> genesis: never use --ignore-liveness
<clever> genesis: thats how you break the entire machine
<clever> genesis: also, you shouldnt need --delete either, thats only use use when you want more disk space back, or your doing something seriously wrong
<genesis> i think this is second option.
<clever> genesis: nothing in that gist says you need --delete
<genesis> i fear stupidly it could use another, i miss the nixos derivation concept, i'm a bit tired and get a bit nervous i try to split to script since 2 hours
<clever> genesis: nix-build will always create a result symlink pointing to the result
<clever> so you can just nix-build && ./result/bin/something to run the newest version
<genesis> i use nix-env
<clever> then nix-env -iA something && something
<clever> if you ever use ignore-liveness like above, you will loose EVERYTHING you had installed with nix-env
<genesis> yes but if i were using nix-build, i didn't do the nix-store :3
<genesis> it should delete only what i ask , isn't it ?
<clever> and everything that depends on it
<clever> which would be your nix-env profile
<clever> which is a gc root, that normally stops such deletions
<clever> ignore-liveness ignores that
<genesis> oki noticed.
justanotheruser has quit [Ping timeout: 256 seconds]
<genesis> even in a stdenv.mkDerivation buildcommand, still not substitute
<genesis> it seems so much overhead comparing to writescript
<clever> genesis: what is not substituting?
<clever> genesis: what are the contents of, can you add it to the gist?
<genesis> yes
<genesis> @coreutils@ @file@
<clever> genesis: both coreutils and file are not env variables in that build
<clever> genesis: you must add `inherit coreutils file;` to the derivation
<genesis> ho the buildinputs was the wrong place oki
<clever> line 13 is putting them into an env var called $buildInputs
<ryantm> Thanks to @bhipple we now have rust package updating in nixpkgs-update
<{^_^}> #81832 (by r-ryantm, 9 minutes ago, open): cloudflare-wrangler: 1.7.0 -> 1.8.1
<genesis> oki thanks clever , that unblocks me
<genesis> #81833
<{^_^}> (by bignaux, 17 seconds ago, open): [WIP] : unify appimagetool and appimage-run
<genesis> cc @tilpner_
drakonis has quit [Read error: Connection reset by peer]
justanotheruser has joined #nixos-dev
<samueldr> would there be any reason to use armv7a over armv7l when describing a build for an ARMv7 device (a phone) in Nixpkgs?
<samueldr> I'm trying to find evidence that our "armv7l" is the basic common armv7 family, and armv7a is the -A, like armv7r is -R
<samueldr> and that it shouldn't matter
<LnL> talking about armv7, are we getting official builds for that now?
<samueldr> once the bootstrap issues (which I don't grok) are resolved it'll start piling builds :)
<LnL> yeah, noticed that
<LnL> samueldr: the bootstrap tools might be too old
<samueldr> that's exactly it
<samueldr> I can fetch you the PR
<{^_^}> #79793 (by lopsided98, 3 weeks ago, open): stdenv: update ARM bootstrap tarballs
<LnL> ah nicie
<samueldr> I don't really know what's left to do
<LnL> to bootstrap we probably want an officiial eval with that and then replace these bootstrap tools with natively built versions
<gchristensen> samueldr: I'm *just* about to send feedback to that PR
<samueldr> if lopsided98 or thefloweringash can give us a roadmap of what to do (or you, too) I could at least make sure it's going to happen
<samueldr> great!
<thefloweringash> Should be a case of: merge #80497, wait for hydra to build it, copy the tarballs to the nix tarball mirror, update #79793 to refer to those tarballs, and merge it
<{^_^}> (by lopsided98, 2 weeks ago, open): make-bootstrap-tools: add libssp to allow stack protector to work
<{^_^}> (by lopsided98, 3 weeks ago, open): stdenv: update ARM bootstrap tarballs
_ris has joined #nixos-dev
<gchristensen> oops I guess I shouldn't have done that then
<gchristensen> let's do that, then, thefloweringash?
<lopsided98> Yeah, the current Hydra built bootstrap tarballs don't work
<gchristensen> somebody who knows what they're doing push the buttons and I'll update my feedback on #79793
<{^_^}> (by lopsided98, 3 weeks ago, open): stdenv: update ARM bootstrap tarballs
<samueldr> I guess that would be vcunat (not on IRC) or LnL, as the other actors in that PR are not committers (yet?)
<gchristensen> LnL: does lgty?
<{^_^}> #80497 (by lopsided98, 2 weeks ago, open): make-bootstrap-tools: add libssp to allow stack protector to work
drakonis has joined #nixos-dev
<gchristensen> lnl: or I could put up the vcunat-signal
<gchristensen> sort of a bummer that we have to change
<LnL> gchristensen: I can look in ~2h
<gchristensen> cool
lovesegfault has quit [Quit: WeeChat 2.7.1]
drakonis has quit [Ping timeout: 256 seconds]
Jackneill has quit [Read error: Connection reset by peer]
lovesegfault has joined #nixos-dev
_ris is now known as ris
phreedom has quit [Quit: No Ping reply in 180 seconds.]
<{^_^}> firing: RootPartitionLowDiskSpace:
<{^_^}> firing: HomepageUpdateStuck:
<samueldr> that homepage update stuck may be related to the WIP changes on the homepage,
phreedom has joined #nixos-dev
<gchristensen> hm
<cole-h> ryantm: Yay! Also glad that homepages are being quoted.
<cole-h> Is there a reason there has been no treewide PR to push everything towards RFC45?
<samueldr> niksnut and garbas would know whether it should be disabled or not
<niksnut> samueldr: yes, I'll stop the update service
<niksnut> we'll switch to netlify in the next few days
<samueldr> that's what I assumed
garbas has joined #nixos-dev
<garbas> evenin'
<{^_^}> nixos-org-configurations#106 (by garbas, 20 seconds ago, open): Remove checks for update script for website
<gchristensen> thankS!
<gchristensen> isn't there a way to make a nixos option's value calculated, unsettable?
noonien has joined #nixos-dev
orivej has joined #nixos-dev
<garbas> anybody feels like reviewing some perl?
<{^_^}> nixos-channel-scripts#32 (by garbas, 2 minutes ago, open): Push channels to s3 bucket
Jackneill has joined #nixos-dev
ixxie has quit [Ping timeout: 256 seconds]
* gchristensen waves a magic wand
<niksnut> haven't tested it yet
Jackneill has quit [Remote host closed the connection]
puck has quit [Quit: nya]
puck has joined #nixos-dev
abathur has quit [Ping timeout: 240 seconds]
orivej has quit [Ping timeout: 265 seconds]
orivej has joined #nixos-dev
<niksnut> exists now, e.g.
<niksnut> still some issues with redirects to be sorted out
<gchristensen> nice
abathur has joined #nixos-dev
abathur has quit [Read error: Connection reset by peer]
abathur has joined #nixos-dev
abathur has quit [Read error: Connection reset by peer]
<lovesegfault> niksnut: did it not exist before?
<niksnut> no
<niksnut> it may have existed a long time ago, not sure
<lovesegfault> nice :)
<gchristensen> I just submitted a PR deleting "nested" configurations, and replacing them with "specialision" options: notably, these specialized configurations have *names* -- I'd love a review from whoever is interested.
<{^_^}> #81848 (by grahamc, 5 minutes ago, open): specialisation: replace nesting with named configurations
orivej has quit [Ping timeout: 260 seconds]
abathur has joined #nixos-dev
abathur has quit [Read error: Connection reset by peer]
<niksnut> looks good
<gchristensen> this will let me include many system configs in to one netboot image, and swap at run time without trouble. whereas right now I have 2, 500MB+ images, just to change maxJobs and buildCores :)
abathur has joined #nixos-dev
abathur has quit [Read error: Connection reset by peer]
abathur has joined #nixos-dev
<infinisil> Nice!
drakonis has joined #nixos-dev
drakonis has quit [Client Quit]
drakonis has joined #nixos-dev
<gchristensen> infinisil: in particular, I'm wondering if I dotted all my i's and crossed all my t's w.r.t. the module changes :)
abathur has quit [Read error: Connection reset by peer]
drakonis has quit [Ping timeout: 256 seconds]
drakonis has joined #nixos-dev
abathur has joined #nixos-dev
abathur has quit [Read error: Connection reset by peer]
abathur has joined #nixos-dev
abathur has quit [Read error: Connection reset by peer]
abathur has joined #nixos-dev
drakonis has quit [Ping timeout: 272 seconds]
drakonis has joined #nixos-dev
<{^_^}> firing: RootPartitionLowDiskSpace:
<{^_^}> firing: HomepageUpdateStuck: