derjohn_mob has quit [(Ping timeout: 240 seconds)]
ryanartecona has joined #nixos
roconnor_ has quit [(Ping timeout: 258 seconds)]
derjohn_mob has joined #nixos
takle has quit [(Remote host closed the connection)]
mudri has quit [(Quit: WeeChat 1.7.1)]
s33se has joined #nixos
takle has joined #nixos
s33se_ has quit [(Ping timeout: 240 seconds)]
deepwater has quit [(Remote host closed the connection)]
dustmote has joined #nixos
takle has quit [(Ping timeout: 240 seconds)]
roconnor_ has joined #nixos
dustmote has quit [(Read error: Connection reset by peer)]
takle has joined #nixos
zraexy has quit [(Quit: Leaving.)]
_rht has joined #nixos
schoppenhauer has quit [(Ping timeout: 240 seconds)]
Wizek__ has quit [(Ping timeout: 240 seconds)]
takle has quit [(Ping timeout: 240 seconds)]
kier has quit [(Remote host closed the connection)]
schoppenhauer has joined #nixos
ryanartecona has quit [(Quit: ryanartecona)]
takle has joined #nixos
noexcept_ has quit [(Ping timeout: 255 seconds)]
kier has joined #nixos
takle has quit [(Ping timeout: 272 seconds)]
filterfish has joined #nixos
roconnor_ has quit [(Ping timeout: 260 seconds)]
zeus_ has quit [(Remote host closed the connection)]
zeus_ has joined #nixos
ryanartecona has joined #nixos
bhipple has quit [(Quit: WeeChat 1.7.1)]
zeus_ has quit [(Ping timeout: 240 seconds)]
Wizek__ has joined #nixos
georges-duperon has quit [(Ping timeout: 264 seconds)]
filterfish has quit [(Read error: Connection reset by peer)]
filterfish has joined #nixos
takle has joined #nixos
takle has quit [(Ping timeout: 240 seconds)]
hexagoxel has quit [(Ping timeout: 260 seconds)]
Wizek__ has quit [(Ping timeout: 240 seconds)]
aneeshusa has quit [(Ping timeout: 260 seconds)]
hexagoxel has joined #nixos
ocharles has quit [()]
takle has joined #nixos
mizu_no_oto has quit [(Quit: ["Textual IRC Client: www.textualapp.com"])]
ocharles has joined #nixos
cstrahan has quit [()]
cstrahan has joined #nixos
proteus-guy has quit [(Remote host closed the connection)]
aneeshusa has joined #nixos
takle has quit [(Ping timeout: 268 seconds)]
roconnor_ has joined #nixos
zeus_ has joined #nixos
svij2 has quit [(Ping timeout: 272 seconds)]
<dmj`>
buildosophy, the philosophy of building packages
ericbmerritt_ has quit [()]
ericbmerritt_ has joined #nixos
takle has joined #nixos
cpennington has joined #nixos
takle has quit [(Ping timeout: 260 seconds)]
ryanartecona has quit [(Quit: ryanartecona)]
takle has joined #nixos
schoppenhauer has quit [(Ping timeout: 240 seconds)]
Wizek has quit [(Ping timeout: 240 seconds)]
schoppenhauer has joined #nixos
jsgrant_om has joined #nixos
systemfault has joined #nixos
sellout- has joined #nixos
takle has quit [(Ping timeout: 260 seconds)]
systemfault has quit [(Max SendQ exceeded)]
systemfault has joined #nixos
takle has joined #nixos
aneeshusa has quit [(Ping timeout: 272 seconds)]
takle has quit [(Ping timeout: 272 seconds)]
aneeshusa has joined #nixos
spinus has quit [(Ping timeout: 272 seconds)]
<Shados>
If I have networking.useDHCP = false;, will a rebuild touch /etc/resolv.conf?
NixOS_GitHub has joined #nixos
<NixOS_GitHub>
[nixpkgs] rht opened pull request #25631: Use consistent package naming for HEAD.nix files (master...master) https://git.io/v96Lq
NixOS_GitHub has left #nixos []
filterfish_ has joined #nixos
filterfish has quit [(Ping timeout: 260 seconds)]
ericsagnes has joined #nixos
takle has joined #nixos
chatter29 has joined #nixos
<chatter29>
hey guys
<chatter29>
allah is doing
<chatter29>
sun is not doing allah is doing
<chatter29>
to accept Islam say that i bear witness that there is no deity worthy of worship except Allah and Muhammad peace be upon him is his slave and messenger
takle has quit [(Ping timeout: 272 seconds)]
onishiota has quit [(Killed (Sigyn (Spam is off topic on freenode.)))]
eifiolois has quit [(Killed (Sigyn (Spam is off topic on freenode.)))]
takle has joined #nixos
mbrock has quit [()]
mbrock has joined #nixos
takle has quit [(Ping timeout: 240 seconds)]
svij2 has joined #nixos
laeliviuabo has joined #nixos
ryantrinkle has quit [(Ping timeout: 240 seconds)]
<hyper_ch>
why isn't unstable being updated?
<benzrf>
why hasnt chatter29 been klined yet
<laeliviuabo>
Allah is doing
<laeliviuabo>
sun is not doing Allah is doing
<laeliviuabo>
moon is not doing Allah is doing
<laeliviuabo>
stars are not doing Allah is doing
<laeliviuabo>
planets are not doing Allah is doing
<laeliviuabo>
galaxies are not doing Allah is doing
<laeliviuabo>
oceans are not doing Allah is doing
<laeliviuabo>
mountains are not doing Allah is doing
<laeliviuabo>
trees are not doing Allah is doing
<laeliviuabo>
mom is not doing Allah is doing
<laeliviuabo>
dad is not doing Allah is doing
<laeliviuabo>
boss is not doing Allah is doing
<laeliviuabo>
job is not doing Allah is doing
<laeliviuabo>
dollar is not doing Allah is doing
<laeliviuabo>
degree is not doing Allah is doing
<laeliviuabo>
medicine is not doing Allah is doing
<laeliviuabo>
customers are not doing Allah is doing
<laeliviuabo>
you can not get a job without the permission of allah
<laeliviuabo>
you can not get married without the permission of allah
<laeliviuabo>
nobody can get angry at you without the permission of allah
<laeliviuabo>
light is not doing Allah is doing
<laeliviuabo>
fan is not doing Allah is doing
<laeliviuabo>
businessess are not doing Allah is doing
<laeliviuabo>
americ is not doing Allah is doing
<laeliviuabo>
america is not doing Allah is doing
<laeliviuabo>
fire can not burn without the permission of allah
<laeliviuabo>
knife can not cut without the permission of allah
<laeliviuabo>
filesystem does not write without permission of allah
<laeliviuabo>
rulers are not doing Allah is doing
<laeliviuabo>
governments are not doing Allah is doing
<laeliviuabo>
sleep is not doing Allah is doing
<laeliviuabo>
hunger is not doing Allah is doing
<laeliviuabo>
food does not take away the hunger Allah takes away the hunger
<laeliviuabo>
water does not take away the thirst Allah takes away the thirst
<laeliviuabo>
seeing is not doing Allah is doing
<laeliviuabo>
hearing is not doing Allah is doing
<laeliviuabo>
seasons are not doing Allah is doing
<laeliviuabo>
weather is not doing Allah is doing
<laeliviuabo>
humans are not doing Allah is doing
<laeliviuabo>
animals are not doing Allah is doing
<laeliviuabo>
the best amongst you are those who learn and teach quran
<laeliviuabo>
one letter read from book of Allah amounts to one good deed and Allah multiplies one good deed ten times
<laeliviuabo>
hearts get rusted as does iron with water to remove rust from heart recitation of Quran and rememberance of death
<laeliviuabo>
heart is likened to a mirror
<laeliviuabo>
when a person commits one sin a black dot sustains the heart
<laeliviuabo>
to accept Islam say that i bear witness that there is no deity worthy of worship except Allah and Muhammad peace be upon him is his slave andmessenger
<laeliviuabo>
laeliviuabo has quit [(Killed (Sigyn (Spam is off topic on freenode.)))]
<dash>
the singularity is here and it's muslim
<dash>
"< laeliviuabo> filesystem does not write without permission of allah"
<dash>
i'm going to be laughing about that one for a while
<sophiag>
"systemd is not doing Allah is doing"
aneeshusa has quit [(Ping timeout: 240 seconds)]
rodvold has joined #nixos
orivej has quit [(Ping timeout: 255 seconds)]
trishume has quit [()]
<sophiag>
can anyone give me a hand setting up an environment for ocaml? there's oddly nothing about it in the manual and i tried copying a config i found on github, but i'd like it to be in my main configuration.nix (similar to haskellPackages) and am getting a number of errors trying to rebuild
<benzrf>
ive seen some of the comments he's posted on redibt
treaki_ has joined #nixos
zraexy has joined #nixos
<dash>
sophiag: the main thing TempleOS did for me was to suggest many other programs are a result of some form of mental illness too
<dash>
I don't know how else to explain PHP
<sophiag>
true. i could believe that about systemd
<unlmtd[m]>
I really wonder why nix uses brackets
filterfish__ has joined #nixos
<simpson>
unlmtd[m]: They're comfy and easy to wear.
<unlmtd[m]>
simpson: I laughed at that
<unlmtd[m]>
taken off before bed time
<benzrf>
good meme
treaki has quit [(Ping timeout: 240 seconds)]
<sophiag>
unlmtd[m]: your nick wears brackets...
<unlmtd[m]>
not from mi end
matthewbauer has joined #nixos
filterfish_ has quit [(Ping timeout: 240 seconds)]
<unlmtd[m]>
one you guys make yourselves a sick matrix client cause the protocol is futuristic like nix
<simpson>
Huh? Nix isn't futuristic. It's quite boring and bland. It's just more restrictive, which gives us more confidence in what it does.
<unlmtd[m]>
but for now I have this giant sandoxed chromium page to load this thing. I think thats why not too many devs use it
<sophiag>
what?
<unlmtd[m]>
what I call futuristic is what will dominate in the future
takle has joined #nixos
<unlmtd[m]>
although some mad scientist might fit all of nix in a very portable C rewrite before it takes over the world
<unlmtd[m]>
maybe not all* of it
<tilpner>
unlmtd[m] - You can change the IRC-facing nick too
<unlmtd[m]>
wow call me damned
<unlmtd[m]>
I shall copy paste that in todo
NixOS_GitHub has joined #nixos
<NixOS_GitHub>
[nixpkgs] aneeshusa opened pull request #25632: Add salt master module (master...add-salt-master-module) https://git.io/v96Yb
NixOS_GitHub has left #nixos []
<sophiag>
since there's some activity now i'm going to try asking yet again about setting up an ocaml evnironment. there's nothing in the manual about it...
<tilpner>
unlmtd[m] - Just message @appservice-irc:matrix.org and send !nick for the help text
<sophiag>
i'm not sure whether those lines should be outside of nixpkgs.config, but regardless i tried commenting them out and still get an error from ocamlPackages :/
<unlmtd>
sophiag: like [ pkgs.foo pkgs.bar];
<unlmtd>
I dont know thou :P
Mutter has joined #nixos
NixOS_GitHub has joined #nixos
<NixOS_GitHub>
[nixpkgs] ericsagnes opened pull request #25634: gnu-cobol: init at 2.0rc-2 (master...pkg-new/gnu-cobol) https://git.io/v96OO
NixOS_GitHub has left #nixos []
<sophiag>
oddly, i can't seem to get any help setting up ocaml with nix. this is a config i found on github and am trying to adapt
toppler has joined #nixos
<unlmtd>
all terminal emulators suck but some more than others
<unlmtd>
first semi useful computers appear about 50 years ago, and we're still groping in the dark, hitting each other on the nose over badly-written code
<unlmtd>
world population of programmers has been doubling every 5 yrs or so? Thats immense
<unlmtd>
so ya, nothing is documented, the internet is a scrapyard of info. Been trying to find more time to play with ipfs as that seems to give us hope to even begin to organize all this data
<unlmtd>
I do applaud the nix manuals, nicely done, although the markup languag used is a bit unwieldy in raw format
<simpson>
sophiag: Okay, yes, the let-expr at line 65 isn't legal.
jgertm has joined #nixos
<simpson>
You need to lift it to outside that attr-set definition.
<sophiag>
should i put that outside the packageOverrides?
<dash>
sophiag: yeah so it'd be 'myOcamlEnv = let ... in self.ocamlPackages ...;'
<dash>
or that, sure
<simpson>
I have a feeling that it should be in the same let-expr as line 42?
<simpson>
Or what dash is saying should work too.
Mutter has quit [(Client Quit)]
montag451___ has joined #nixos
<toppler>
sophiag: I've had a lot of happiness working with Nix and Ocaml. We had some hacks of the Ocaml compiler, so all our libraries need to be compiled for our version, and it was very easy to express this (opam and switch is good, but this was even better)
<sophiag>
also...keep in mind this is copied off of the only gist i could find
<sophiag>
(ocaml isn't a primary language of mine, but i'd like to start using it more)
takle has joined #nixos
anelson has quit [(Ping timeout: 246 seconds)]
<toppler>
So there, you're calling ocamlPackages as if it were a function, passing it a list.
<sophiag>
should it be like self.ocamlPackages (ocamlPackages: with ocamlPackages; [ ]) ?
takle has quit [(Ping timeout: 240 seconds)]
<toppler>
Ah, it's not the same infrastructure as Haskell.
dvim has quit [()]
<sophiag>
right. like not pulling from LTS and such i imagine?
dvim has joined #nixos
<toppler>
You want myOcamlEnv to be a derivation. So myOcamlEnv = { name = "..."; buildInputs = "[]"; };
<sophiag>
oh i see. still inside that block though?
<sophiag>
packageOverrides?
<toppler>
Yeah, that should be fine.
anelson has joined #nixos
<toppler>
And in the build inputs, you want to have your ocaml and its libraries. So you could do buildInputs = with ocamlPackages; [ ocaml camlp4 core ... ]
inflames has joined #nixos
<sophiag>
right. i got that
<sophiag>
but to be clear, the let statement should be before the brackets, right? like myOCamlEnv = let
<sophiag>
ugh, i'm getting this weird error: "cannot coerce a set to a string, at /nix/var/nix/profiles/per-user/root/channels/nixos/nixpkgs/lib/strings.nix:442:44"
anelson has quit [(Ping timeout: 246 seconds)]
<toppler>
Yeah. There should be various places you can put it, but it shouldn't go be in an attribute expression as { foo = ...; let bar = ... }
<sophiag>
right got that
<toppler>
Okay, full disclosure, I get that error a lot, and I'm not sure what it means :P
<sophiag>
i think that error may be due to that weird second let?
svij2 has quit [(Ping timeout: 255 seconds)]
<sophiag>
oh... :p
<sophiag>
do you know what that let () is supposed to do?
<toppler>
Is the gist updated?
<sophiag>
no. one sec
<toppler>
That's Ocaml.
ertes has quit [(Ping timeout: 260 seconds)]
<toppler>
It looks like they're making sure that Ocaml can find topfind.
<toppler>
I don't do it that way. I've been putting the topfind location in an environment variable "findlib" and firing up Ocaml with ocaml -I $findlib
<sophiag>
i'd just as well copy your config if you're willing to share. this is all i could find...
<toppler>
Sure. Two secs.
<sophiag>
oh, except if i do it your way i'd need to add a line to my .emacs like that?
<toppler>
You'd just have to change the way you start ocaml, making sure you pass the extra include directory.
<sophiag>
this all started trying to get tuareg mode installed ;(
<sophiag>
i'm mostly planning on using merlin tbh
<sophiag>
i don't do dev work in ocaml, but end up reading a lot of papers that use it
<toppler>
This is pretty simple. The shell you're working from is more robust, since it figures out the correct version. I've got a horrible hard-coded 4.01 in there which is bad.
ericsagnes has quit [(Ping timeout: 272 seconds)]
<sophiag>
waits...it's tuaregMode not just tuareg?
<toppler>
The examples you're working from just create shells, rather than install anything.
NixOS_GitHub has joined #nixos
<NixOS_GitHub>
[nixpkgs] domenkozar closed pull request #25624: Mark ghcjs as fixed (master...ghcjs-fix) https://git.io/v9KWU
NixOS_GitHub has left #nixos []
<sophiag>
ah right. i'm just doing everything globally
<sophiag>
so nixos-rebuild switch
<toppler>
Gotcha. You're putting this in myOcamlEnv.
<toppler>
Sorry.
<toppler>
You're putting myOcamlEnv in your systemPackages.
<toppler>
In that case, I think you could just put all these buildInputs into systemPackages.
<sophiag>
that makes sense
<sophiag>
what about the other stuff tho?
<sophiag>
in nixpkgs.config but outside the packageOverrides i'm guessing?
<toppler>
Yeah. I'm not sure what to do with that. To be honest, I don't really know how to set up development environments in the the main configuration file. I just use nix-shells.
takle has joined #nixos
<toppler>
What you could try is taking myOcamlEnv out of the systemPackages. ocaml won't then be in the global environment, so to enter it, you want to do nix-shell -p myOcamlEnv.
<sophiag>
yeah i know. i prefer not to do that since this is just my personal machine
takle has quit [(Ping timeout: 240 seconds)]
<sophiag>
if i'm putting it in systemPackages should it be like (ocamlWithPackaage (with ocamlPackages; [])) ?
<sophiag>
err i guess not
<toppler>
You should be able to do environment.systemPackages = with pkgs; with ocamlPackages; [ ... ]
<toppler>
And put your ocaml, campl4, utop etc inside the []s
<toppler>
But you'll need some way to do find findlib.
<sophiag>
right. that's what got me downt this rabbit hole... findlib :p
dejanr has quit [(Ping timeout: 240 seconds)]
matthewbauer has quit [(Ping timeout: 264 seconds)]
IndutrialRobot has joined #nixos
simukis has quit [(Ping timeout: 272 seconds)]
DutchWolfie has quit [(Quit: Konversation terminated!)]
DutchWolfie has joined #nixos
DutchWolfie has quit [(Changing host)]
DutchWolfie has joined #nixos
ertes-w has joined #nixos
<toppler>
You just want some way to set up your UNIX environment, either so that you've got findlib in an environment variable, or ocaml is aliased so that it finds findlib. I'd expect there's a way to do that, but I haven't tried it before.
<sophiag>
i tried putting it in nixpkgs.config = {} but that doesn't work. maybe it should be global
<toppler>
Okay. There is an environment.variables option.
<sophiag>
hmm?
jmeredith has quit [()]
jmeredith has joined #nixos
takle has joined #nixos
Itkovian has joined #nixos
montag451___ has quit [(Ping timeout: 268 seconds)]
<toppler>
Just testing now.
<sophiag>
ok, tried that...
<toppler>
No joy?
<sophiag>
it throws an error on ocamlPackages in "ocamlVersion = (builtins.parseDrvName ocamlPackages.ocaml.name).version;"
takle has quit [(Ping timeout: 272 seconds)]
jacob has joined #nixos
jacob is now known as Guest66690
_c_ has quit [(Changing host)]
_c_ has joined #nixos
<sophiag>
now i'm getting "The option value `environment.variables.merlinWithEmacsMode' in `/etc/nixos/configuration.nix' is not a element or list of strings"
<sophiag>
i had to have environment.variables = rec {} to get it to recognize ocamlPackages
<sophiag>
tbh i'm not even sure what rec does...
inflames has joined #nixos
<toppler>
rec means the attribute set is recursively defined.
takle has joined #nixos
<sophiag>
ah ok. thanks
<toppler>
Okay. So here's something you can do: just have environment.variables = { findlib = ${ocamlPackages.findlib}/lib/ocaml/${ocamlVersion}/site-lib"; }
<toppler>
Make sure that ocamlVersion has been introduced by an outer let.
<sophiag>
i can just specify the version in environment.variables
<sophiag>
what's the difference between findlib and findlibSiteLib?
takle has quit [(Ping timeout: 255 seconds)]
sjanssen has quit [()]
<toppler>
You can do that, but I'd say you're polluting your UNIX environment/profile by doing that.
sjanssen has joined #nixos
<toppler>
The first is shorter! :)
<toppler>
You can use either. The idea is that you'll start ocaml by doing ocaml -I $findlib.
<toppler>
If you use the longer version, it's ocaml -I $findlibSiteLib
bennofs has joined #nixos
<sophiag>
you mean i'd be polluting the environment by specifying the version?
<sophiag>
inside environement.variables?
filterfish__ has quit [(Ping timeout: 272 seconds)]
<toppler>
Yeah. The value of environment variables is going to be used to set environment variables in all your shells.
<sophiag>
oh i think i can't specify both in there because ocamlPackages requires rec
<toppler>
So if you do environment.variables = { foo = 100;}, you'll get "foo = 100" set in all your shells.
<toppler>
Are you sure it needs "rec"?
filterfish__ has joined #nixos
<sophiag>
well that made it recognize ocamlPacakges. i just moved that to an outer let and now the let is throwing an error :p
DrWaste has joined #nixos
<sophiag>
i also am very confused about what that merlin override is supposed to do
<toppler>
It's just making sure that merlin is set up to work with Emacs.
<toppler>
gist?
takle has joined #nixos
freusque has quit [(Quit: WeeChat 1.7)]
nschoe has joined #nixos
noam has quit [(Read error: Connection reset by peer)]
<toppler>
Ah okay. That "let ocamlPackages ..." is at the part of the source code where an attribute = value (dictionary key = value) is expected. So that's a syntax error.
<toppler>
You need to lift it to the outside (line 2).
<sophiag>
oh...
<sophiag>
i never would have got that
<aloiscochard>
hi all, I need the program `rpmbuild` (as part of a java project build), but I can't see how I can install it?
<aloiscochard>
there is a `rpm-build/default.nix` in nixpkgs, but it's not really packaged as an app
<aloiscochard>
what am I missing?
<IndutrialRobot>
hey, the plugin installer plugin for gajim is missing for me. Is this expected?
takle has joined #nixos
<sophiag>
toppler: i'm getting "unexpected dollar curly" in that findlib line you gave me...
<toppler>
You're just missing an opening quote.
<sophiag>
oh wait, i think i forgot a quote
<sophiag>
yup
<sophiag>
but now back to that weird coerce to string error =(
<sophiag>
while i'm wasting all this time on devops nonsense...totally unrelated to ocaml, i stopped getting the option of which window/desktop managers to boot into a while ago. is it evident why from my configuration.nix?
NixOS_GitHub has joined #nixos
<NixOS_GitHub>
[nixpkgs] Mic92 pushed 2 new commits to master: https://git.io/v96Wg
<NixOS_GitHub>
nixpkgs/master 7cf29e1 c74d: staccato: init at 0.1.6...
<toppler>
sophiag: Ah okay. So your systemPackages is a list, one of whose elements, (with ocamlPackages; ...) is another list.
<toppler>
You want to flatten it.
ravloony has quit [(Ping timeout: 258 seconds)]
<sophiag>
oh i see
<toppler>
On that, don't you need to pick a desktop manager? gdm/kdm/lightdm?
<sophiag>
i use gnome currently. would like to try out xmonad with or without it. i used to get a dropdown menu at my login screen to select which one i wanted. i even had kdm installed as well at one point
inflames has quit [(Ping timeout: 240 seconds)]
<toppler>
I don't think kdm is the same as KDE.
<toppler>
KDE is the desktop environment. KDM is the display manager.
<toppler>
The display manager will allow you to pick a DE.
<toppler>
So you probably just want to uncomment the kdm stuff.
<toppler>
You don't need to do that. topfind is part of findlib.
proteus-guy has joined #nixos
<sophiag>
so i need to add a hook for it
<sophiag>
?
<toppler>
It's just a ".ml" file. You just need to load it with # use "topfind";;
<toppler>
However, you need to make sure it can find "topfind.ml". It's going to be somewhere buried in your /nix/store. That's why we added a findlib variable to your environment.
<sophiag>
ah i see
<sophiag>
well, it's currently lagging trying to find it :/
<toppler>
It might be that utop is broken if you're running it from Emacs.
<NixOS_GitHub>
[nixpkgs] peterhoeg pushed 2 new commits to master: https://git.io/v96RE
<NixOS_GitHub>
nixpkgs/master 5fdc93b Björn Andersson: idea-ultimate: 2017.1.1 -> 2017.1.2...
<NixOS_GitHub>
nixpkgs/master c5d319d Peter Hoeg: Merge pull request #25638 from gaqzi/u/idea-ultimate...
NixOS_GitHub has left #nixos []
<sophiag>
ah i just left out the quotes and semicolons
<sophiag>
but now i'm getting "unbound value use"
<sophiag>
ah ok. the full command is "#use "topfind";;"
<sophiag>
now it says it can't find it
<toppler>
Right. It's not in any directories that Ocaml is searching in.
<toppler>
The directory we want is $findlib.
<sophiag>
same from cli tho
<toppler>
If you start ocaml with "ocaml -I $findlib", it'll work.
<sophiag>
i had to omite the $
<sophiag>
and it still can't find it
bennofs has quit [(Ping timeout: 240 seconds)]
<sophiag>
but let's backpedal...what does topfind do?
FRidh has joined #nixos
<toppler>
Ah, are you in #ocaml? It might be better to ask in there.
<sophiag>
yeah, i'll probably get around to that
<sophiag>
i wsa just wondering why you said "now i need it?" :)
<toppler>
Just not sure it'd be good etiquette to pollute #nixos with Ocaml questions.
takle has joined #nixos
chakerbenhamed has joined #nixos
<sophiag>
true
<sophiag>
i'm just happy to have resolved this
<sophiag>
thanks so much for all your help btw :D
<toppler>
Pleasure.
reinhardt has joined #nixos
goibhniu1 has joined #nixos
ravloony has joined #nixos
goibhniu has quit [(Ping timeout: 260 seconds)]
reinzelmann has quit [(Ping timeout: 240 seconds)]
<toppler>
Ack. I'm not sure what's happened recently. Has the way keyboard mappings work in X changed? I had layouts = [ "dvorak" ], but I'm now being told that it's missing. It's searching in a directory ../X11/xkb/symbols/, which appears to just have keyboards by nationality, not variant layouts.
goibhniu1 is now known as goibhniu
tommyangelo_ has quit [(Ping timeout: 260 seconds)]
<samae>
I checked though, and nixos.texlive.combined.scheme-medium.name = "texlive-combined-medium-2016"
JagaJaga has joined #nixos
<JagaJaga>
Hey! Is anyone using privateinternetaccess?
<symphorien>
samae: "I want to install a scheme-medium for other tasks" : maybe nix-shell -p texlive.combined.scheme-medium is enough for your use case
tgunb has joined #nixos
noexcept_ has joined #nixos
<sudoreboot[m]>
How come when I run `sudo nix-env -qaPs plasma-desktop` it claims it is not installed when I am using it as a default DE? Is the package different from whichever package is used for the full KDE DE?
bennofs has joined #nixos
<srhb>
sudoreboot[m]: default DE as in in /etc/nixos/configuration.nix ?
<sudoreboot[m]>
srhb: yes
<srhb>
sudoreboot[m]: Your user profile has nothing to do with that, so I would assume that's the case.
nh2 has joined #nixos
davidak has joined #nixos
<sudoreboot[m]>
But running nix-env with sudo I thought would give me the system packages?
arjen-jonathan has joined #nixos
k2s has joined #nixos
bennofs has quit [(Quit: WeeChat 1.7.1)]
Silentg has joined #nixos
<Yaniel>
Root is a user like any other, no?
<sudoreboot[m]>
So the DE packages are separate from system packages?
<Silentg>
Hi, I'm new to nixos, and have just locked myself out by setting a password hash in configuration.nix, and mutable
<Silentg>
Users to false
<goibhniu>
sudoreboot[m]: that's right, there is a separate system profile
<srhb>
sudoreboot[m]: system packages are separate from root user profile, more like.
<srhb>
sudoreboot[m]: (ie. nix-env -q as root should give you none of the packages from configuration.nix)
<Silentg>
I've followed steps in the manual by booting live cd and putting a new hash in /Etc/shadow but still locked out
<sudoreboot[m]>
srhb: I see, is there then a proper way of displaying installed system packages besides deducing it from the configuration.nix file?
<srhb>
sudoreboot[m]: I don't know if you can somehow query the profile with nix-env, it's the /nix/var/nix/profiles/system one
<gchristensen>
Silentg: boot the live CD and mount the hard drive to /mnt as if you were going to do the installation, edit your configuration.nix to change the password hash to the correct one annd run nixos-instal
Mateon3 has joined #nixos
<Silentg>
Ok thanks gchristensen I'll try that
<ertes-w>
i find myself writing something like this a lot: ${if isNull asyncInit then "" else asyncInit}
<ertes-w>
is there a short-cut?
Mateon1 has quit [(Ping timeout: 272 seconds)]
Mateon3 is now known as Mateon1
nh2 has quit [(Quit: Leaving.)]
<sudoreboot[m]>
Thanks, srhb. That clears it up a bit :)
<gchristensen>
ertes-w: how are you getting nulls? what about ${toString asyncInit}? not sure, never really had nulls.
<gchristensen>
Silentg: you'rewelcome, good luck :)
<ertes-w>
gchristensen: well, i'm using 'null' to emulate haskell's Maybe in the context of default arguments… i suppose i could also default to "" =)
<ertes-w>
toString works, too, it seems
<gchristensen>
yeah I mean, we just don't have Maybe
nh2 has joined #nixos
k2s has quit [(Remote host closed the connection)]
civodul has quit [(Read error: Connection reset by peer)]
<ertes-w>
perhaps that's the main issue =)
civodul has joined #nixos
<samae>
symphorien: yeah ok
<samae>
it's just that I've never succeeded in using the priority flags mechanism : )
MoreTea has joined #nixos
[0__0] has joined #nixos
orivej has joined #nixos
civodul has quit [(Read error: Connection reset by peer)]
arjen-jonathan has quit [(Ping timeout: 272 seconds)]
nh2 has quit [(Quit: Leaving.)]
nh2 has joined #nixos
arjen-jonathan has joined #nixos
<viric>
clever: all fine with swap
civodul has joined #nixos
mudri has quit [(Ping timeout: 240 seconds)]
nh2 has quit [(Quit: Leaving.)]
<viric>
clever: all solved with go 1.7
obadz has quit [(Ping timeout: 240 seconds)]
alibabzo has joined #nixos
<gchristensen>
I'm so proud of my coworkers ... they've written tests in my test infra, found bugs, fix the bugs, committed the tests.
<avn>
gchristensen: congrats man ;)
mounty has joined #nixos
<gchristensen>
soon, the test infra will be open source. it'll be a good day.
mkoenig has quit [(Remote host closed the connection)]
civodul has joined #nixos
<domenkozar>
Caught exception in Hydra::Controller::Root->nar "path â/bzzfsdbxx2yc2bakzqx5mzxkk0jq04cp-RSA-2.2.0â is not in the Nix store at /nix/store/b6d7mpkbmpq66jlgyk8yzpjlxwc8wzzp-hydra-2017-04-26/libexec/hydra/lib/Hydra/Controller/Root.pm line 269."
<gchristensen>
tested means all the tests passed and it is safe to run nixos
<hyper_ch>
ok
<sphalerite>
Is it possible to get systemd's user instances to look in ~/.nix-profile/lib/systemd/user for unit files? That would be very useful...
mudri has joined #nixos
<domenkozar>
LnL: aha it's not in gc root
smw has quit [(Ping timeout: 255 seconds)]
sellout- has quit [(Quit: Leaving.)]
NixOS_GitHub has joined #nixos
<NixOS_GitHub>
[nixpkgs] lheckemann opened pull request #25643: syncthing: correct path for systemd units (master...syncthing-systemd-path) https://git.io/v967r
NixOS_GitHub has left #nixos []
<LnL>
I thought hydra created gc roots for each eval
<domenkozar>
yeah :/
<Infinisil>
Is it possible to run a systemd service on a laptop only when it is pluggen in? Is systemd the right thing for that?
Infinisil has quit [(Quit: brb)]
Wizek has quit [(Ping timeout: 264 seconds)]
ryantrinkle has quit [(Ping timeout: 240 seconds)]
tgunb has quit [(Remote host closed the connection)]
<domenkozar>
I don't get it
takle has quit [(Remote host closed the connection)]
Infinisil has joined #nixos
takle has joined #nixos
<Infinisil>
I'm asking again, because I had to leave just before
<Infinisil>
Is there some way to have a service start with systemd only when the power is connected? Is systemd the right tool for that?
<nixy>
Infinisil: an old question on SO seems to indicate the systemd can't identify power states. Using udev rules to run scripts when stuff is plugged unplugged seems to be the way
alx741 has quit [(Quit: alx741)]
<gchristensen>
yeah I think udev would be the trick
<gchristensen>
if you have many things you could use a systemd unit that udev starts and stops, like named `ac-plugged.service` or something
<Infinisil>
Alright thanks! I'll research some
Infinisil has quit [(Quit: leaving)]
<clever>
gchristensen: i'm also interested in flagging a service to restart after standby
<domenkozar>
can someone remind me how I can add a nix store path to gc root?
<gchristensen>
nix-store --add-root with maybe --indirect
<domenkozar>
yeah no effect
<clever>
nix-store --add-root result --indirect /nix/store/foo
<nixy>
symphorien: ConditionACPower seems to check battery power when the unit would be activated. Not sure how you would manage hotplugging with that
<domenkozar>
hmm that doesn't help
<clever>
domenkozar: what is it doing or not doing?
<domenkozar>
well hydra says
<domenkozar>
Caught exception in Hydra::Controller::Root->nar "path â/bzzfsdbxx2yc2bakzqx5mzxkk0jq04cp-RSA-2.2.0â is not in the Nix store at /nix/store/b6d7mpkbmpq66jlgyk8yzpjlxwc8wzzp-hydra-2017-04-26/libexec/hydra/lib/Hydra/Controller/Root.pm line 269."
<gchristensen>
what is with those symbols
<symphorien>
nixy: true...
<clever>
unicode quotations dont always survive
<clever>
domenkozar: hydra uses its own roots, seperate from normal nix roots
<gchristensen>
nixy: I decided the L websites' channel was too annoying to be in :P
<clever>
domenkozar: hydra uses 0-byte files in /nix/var/nix/gcroots/hydra that have the same name as entries in /nix/store/
<domenkozar>
clever: I know and it's there
<clever>
domenkozar: is the path in the nix store as well?
<domenkozar>
yes
<clever>
odd
<gchristensen>
maybe verify your store
<clever>
i'm fetching a copy of the hydra source to check it as well
pie_ has joined #nixos
<domenkozar>
sounds like a hydra bug to me
<domenkozar>
or actually a nix bug
<gchristensen>
have you verified your nix store?
MercurialAlchemi has quit [(Remote host closed the connection)]
kykim has joined #nixos
<nixy>
Are there any hosting providers that officially support NixOS? I know you can run it on a bunch, but are there any with official images?
<gchristensen>
Packet.net
MercurialAlchemi has joined #nixos
<domenkozar>
niksnut: if you have a minute I'd appreciate feedback if you have seen this error:
<domenkozar>
Caught exception in Hydra::Controller::Root->nar "path â/ny5yph7mj2c09z2998pgbdaxz78is4ac-cardano-sl-explorer-1.0.0â is not in the Nix store at /nix/store/b6d7mpkbmpq66jlgyk8yzpjlxwc8wzzp-hydra-2017-04-26/libexec/hydra/lib/Hydra/Controller/Root.pm line 269."
<clever>
gone($c, "Path " . $path . " is no longer available.") unless isValidPath($path);
derjohn_mob has quit [(Ping timeout: 260 seconds)]
<clever>
domenkozar: what does "nix-store --query --hash /nix/store/ny5yph7mj2c09z2998pgbdaxz78is4ac-cardano-sl-explorer-1.0.0" say?
<clever>
ok, so isValidPath should have returned true
<domenkozar>
maybe a bug in nixUnstable
<Exee7uvo[m]>
nixy: You can take a hoster where you can upload your own iso images. Alternatively there are scripts to replace an official hoster Linux system with NixOs in place.
<clever>
domenkozar: id say its either the missing /nix/store in the path, or the isValidPath api is broken
<clever>
269 gone($c, "Path " . $path . " is no longer available.") unless isValidPath($path);
<clever>
domenkozar: the code says the error should contain /nix/store/, but it doesnt!
<nixy>
Exee7uvo[m]: I am aware. I currently have some scripts in place to bootstrap NixOS on my favorite hosting provider. I just wanted to scope out NixOS's hosting support
<domenkozar>
clever: so storeDir is not set?
<clever>
domenkozar: yeah
<clever>
$storeDir = $ENV{"NIX_STORE_DIR"} || "";
<manveru>
nixy: packet.net has nixos
<clever>
domenkozar: the default in here is broken: /nix/store/lpa61xrasw7xvv72s46k3zlw26crfvv9-nix-perl-1.12pre5308_2f21d522/lib/perl5/site_perl/5.22.3/x86_64-linux-thread-multi/Nix/Config.pm
<clever>
domenkozar: but setting NIX_STORE_DIR in the env hydra runs under should temporarily fix it
<domenkozar>
so upgrading nixUnstable should fix it
<nixy>
I just love that their plans are named after dinosaurs. Best hosting company just for that
reinhardt has quit [(Quit: Leaving)]
<nixy>
Woah, can you seriously deploy the HURD there. I thought it barely worked
revtintin has joined #nixos
Wizek has joined #nixos
<gchristensen>
nixy: I reached out to them to help with Hydra
<gchristensen>
nixy: I continued to work to make it easy for users to add NixOS on Packet.net, without official support and my tooling was robust and simple enough that they took my tooling and made it an official OS
<nixy>
That is pretty much the approach I want to go for. Get it set up to nicely play with everything and see how its recieved
<gchristensen>
fwiw you have to speak their language
jgertm has quit [(Ping timeout: 260 seconds)]
<gchristensen>
they want customers, not more work
<manveru>
i've seen quite a few tutorials for linode already...
<nixy>
manveru: All of them are out of date/leave your system a bit wonky for their platform
jsgrant_om has quit [(Remote host closed the connection)]
sellout- has joined #nixos
<zx2c4>
gchristensen: dunno your general feeling on making PRs before the're actually mergable, but I just made one ^
<gchristensen>
"post-quantum resistance" politics are getting complicated
<zx2c4>
gchristensen: haha fortunately this isnt actually the political version of it
<gchristensen>
looks good so far, zx2c4
ryanartecona has joined #nixos
<zx2c4>
in wireguard, the PQ resistance is just "hash in a 256-bit symmetric key". grover's theorem says that a quantum computer can _at best_ get a square root speed up, so that still leaves 128-bits, which means it's secure. this is the so called "poor man's PQ resistance", which always works. it is _not_, however, a key exchange (by virtue of being "preshared").
<zx2c4>
all the PQ crypto research is on getting an actual PQ key exchange working. not wanting to have to pick one of these early experimental things, I just went with the poorman's approach
<gchristensen>
right on
NixOS_GitHub has joined #nixos
<NixOS_GitHub>
[nixpkgs] Mic92 pushed 1 new commit to master: https://git.io/v9ika
<simpson>
niksnut, gchristensen: I am not 100% sure, since I only woke up a few minutes ago and am rusty, but I believe that reusing libsodium box nonces will cause disclosure of the private key, by similar math to the Sony signature hack on ECDSA.
<niksnut>
that's good to know :-D
colun has joined #nixos
<gchristensen>
joy
<gchristensen>
I'd like to avoid as many CVEs as possible from the outset :P
<simpson>
Also, on public-key exchange, libsodium's authentication means that you can at least know, at decryption time, which machine (or at least which key) performed the build of the artifact. Might be useful for auditing of some sort.
<simpson>
Other than that, very nice and simple proposal, good choice of crypto library and primitive, and this seems very reasonable.
<niksnut>
that leaves the question of whether and how we can achieve reproducible evaluation
<simpson>
(Every day a joy: libsodium has KEX now! I am so glad to have a small common good crypto library.)
<gchristensen>
I'm curious about using the hash of the inputs to be able to cache the output
<gchristensen>
it won't be reproducible cross-machine but it would at least be reproducible on a single machine
Svarog has joined #nixos
<Svarog>
hi all
<gchristensen>
niksnut: unfortunately I can't touch the redirect issue until later today. are you able to investigate?
<niksnut>
I've fixed it
<Svarog>
is there any way to customize vim using vim_configurable.customize and not lose gvim xxd and other links?
<gchristensen>
oh! :D thank you!
<niksnut>
at least, I think so
<gchristensen>
yep, looks great
<sphalerite>
Svarog: install vim separately with lower priority
<Svarog>
oh ok
<Svarog>
that sounds like a bit of a hack
<Svarog>
or a workaround?
<sphalerite>
I don't think so
<sphalerite>
IMHO the hack is that xxd is part of vim in the first place. It should be distributed separately, both upstream and in packages
<clever>
uhhh, what? lol
johann__ has quit [(Quit: Leaving.)]
<clever>
why is that part of vim!?
<Svarog>
sphalerite, what about gvim?
<Svarog>
as in the symlink for it
<sphalerite>
clever: my sentiments exactly :)
<Svarog>
why does that not get created when vim is customized?
<clever>
Svarog: i think the customized vim is just a vim shell-script that runs the real vim, so everything else in $out/bin/ is missing
marsel has quit [(Ping timeout: 240 seconds)]
<Svarog>
oh
<Svarog>
hmm
<simpson>
niksnut, gchristensen: Done slightly more reading. If you reuse a (key, nonce) pair, you lose secrecy and authenticity for all messages boxed with that pair.
Tucky has quit [(Ping timeout: 240 seconds)]
<simpson>
libsodium is supposed to eventually grow a nonce generator which takes (key, message, context) and returns a deterministic but hard-to-predict nonce.
<simpson>
Imagining that that context might, for us, be a derivation hash.
<simpson>
And then we don't really have to wait for upstream libsodium, we can just use libsodium's key derivation functions, at a slowdown, to compute nonce.
<zx2c4>
simpson: holy shit what
<simpson>
So yeah. Nonce reuse bad, but deterministic nonce not necessarily bad if you can show that changing the inputs changes the nonce.
<zx2c4>
no.
<zx2c4>
don't use a KDF to generate nonces.
JagaJaga has quit [(Ping timeout: 255 seconds)]
<simpson>
zx2c4: What should we do?
<zx2c4>
first decide:
<zx2c4>
do you want deterministic encryption, or non-deterministic encryption?
<zx2c4>
once you've made up your mind, update your design document to express this goal
<zx2c4>
then i can start advising you on how to achieve your goal
<zx2c4>
likewise with passwords vs keys
<sphalerite>
I actually have no idea how vim's configurable works. AFAICT pkgs/editors/vim/default.nix doesn't take the configure parameter, and that's what's imported in all-packages.nix
<zx2c4>
likewise with publickey crypto vs secretkey crypto
<zx2c4>
decide what your operating system needs,
<zx2c4>
express your goals
<zx2c4>
and then we can make progress
<gchristensen>
zx2c4: is it possible to have deterministic encryption and avoid cryptographic doom principle?
<simpson>
zx2c4: I think that the goal is obvious: To blind things in the store without compromising the Nix purity properties.
<sphalerite>
oh of course, it's vim_configurable not vim >_>
<Svarog>
unrelated question, i don't suppose anyone here is using gnome3 on a computer with a touchscreen?
eacameron has joined #nixos
<clever>
gchristensen: are we talking about signing or full encryption of things in the store?
<zx2c4>
gchristensen: yes it is. it's called a "SIV construction". there are a few. the most recent one that's gaining traction is called AES-GCM-SIV and is sufficient for your purposes
<Svarog>
it seems any touch event tries to bring up the gnome on-screen keyboard, which then segfaults and crashes the gnome session
<zx2c4>
*do not* try to invent your own SIV construction, however
<simpson>
clever: Well, authenticated encryption is a Good Thing, right?
<gchristensen>
zx2c4: obviously I'm talking specifically about "A lot of these SIV schemes add a lot of additional complexity (and virtually lock you into violating the cryptographic doom principle) for a small win only in corner cases."f
FRidh has quit [(Quit: Konversation terminated!)]
<zx2c4>
gchristensen: "lock you into violating crypto doom principle"?
DrWaste has quit [(Quit: Run away!)]
noexcept_ has quit [(Ping timeout: 264 seconds)]
ryanartecona has quit [(Quit: ryanartecona)]
<gchristensen>
zx2c4: another comment, by paragonie-scott
<clever>
simpson: signing can do the same thing, verify who the sender is, but not hide the content of the message from others
<sphalerite>
Svarog: I'm not, but I can give that a shot at some point. Check if it's been reported in the nixpkgs repo, if not report it and ping me (@lheckemann) in it
<simpson>
clever: Sure.
<Svarog>
hmm installing vimHugeX as a low priority package gets the gvim shortcut working but vimrcConfig.customRC settings don't get picked up
<zx2c4>
gchristensen: okay sounds like you want deterministic encryption
<zx2c4>
you should clearly note that on your design document
<zx2c4>
now decide: keys vs passwords
<Svarog>
ok, thanks sphalerite
<zx2c4>
when you're finished with all those decisions,
<gchristensen>
zx2c4: yeah :) I think I didn't know that was a feasible and secure thing to do
<zx2c4>
we can help out
<zx2c4>
ahh,
<zx2c4>
yea
<zx2c4>
it's def feasible
<gchristensen>
I'm certainly cognizant that we can't just ask for the world and then get a library to do whatever crazy stuff we dream up
<simpson>
zx2c4: Actually, so, I should point out that we don't *need* encryption. What we need is for a package to not be able to access files that it was not granted access to via its inputs.
<simpson>
zx2c4: If all packages live in a world-readable store, then encryption is just an entailment of how we might achieve that.
<simpson>
I personally would be okay with altering how the entire OS works instead~
<gchristensen>
I think that isn't true, simpson heh
<clever>
simpson: trying to enforce sandboxing outside of the builds sorta?
* gchristensen
steps out of it
<simpson>
clever: This is basic capability theory. You can't leak or exfiltrate data that you don't have access to.
<clever>
ah
<zx2c4>
gchristensen: yea, that's a fair point. well, i think if you're really after determinstic encryption, that's one thing you _can_ have. an likewise with passwords. and so forth
ryanartecona has joined #nixos
<simpson>
And yes, you need your OS to cooperate fully. It's non-trivial and something I won't be ready to tackle for a few decades.
<gchristensen>
zx2c4: yes please :)
<simpson>
Huh. So, what about doing pubkeys instead, and having keypairs be shared between each package? I mean, on one hand, it's silly, but on the other hand, wouldn't it work?
<simpson>
I guess it's strictly too powerful, in that a build *input* package could decrypt messages from an *output* package (bidi), but otherwise...
NixOS_GitHub has joined #nixos
<NixOS_GitHub>
[nixpkgs] Mic92 pushed 1 new commit to master: https://git.io/v9iOu
<NixOS_GitHub>
nixpkgs/master 11272e9 Linus Heckemann: camlistore: use buildGoPackage...
NixOS_GitHub has left #nixos []
<gchristensen>
zx2c4: can we get deterministic encryption in a public / private key model?
snikkers has quit [(Ping timeout: 240 seconds)]
<simpson>
I'm sorry, I'm in a dream world instead of reality. Ignore me. (♪ And only a fool would say that ♬)
NixOS_GitHub has joined #nixos
<NixOS_GitHub>
[nixpkgs] Mic92 closed pull request #25346: camlistore: remove reference to go (master...camlistore-go) https://git.io/v9WZ6
NixOS_GitHub has left #nixos []
SuprDewd has quit [(Ping timeout: 245 seconds)]
spinus has joined #nixos
<sphalerite>
Svarog: vim_configurable should really be wrapping all the executables or at least provide the choice to the user, so maybe create an issue for that if there isn't already one
<simpson>
Tempted to say "oh, O(log n) rebuilt packages on deploy, that's not too bad" but of course that could still be a lot and nobody wants to go that route.
<Svarog>
off to sleep. good night everyone (or morning? afternoon? depending on where you are)
<Svarog>
thanks again sphalerite and clever
Svarog has quit [(Quit: Ex-Chat)]
<gchristensen>
Svarog: universal greeting time dictates "say whatever you want" :)
Wizek has quit [(Ping timeout: 240 seconds)]
NixOS_GitHub has joined #nixos
<NixOS_GitHub>
[nixpkgs] globin pushed 1 new commit to master: https://git.io/v9ise
<NixOS_GitHub>
nixpkgs/master 1d0627b Tristan Helmich: graylogPlugins: Add and update plugins
<zraexy>
Could someone who has Hydra commit privileges take a look at my pull request? I hate to ask but it's been there for over two weeks without any response. https://github.com/NixOS/hydra/pull/474
derjohn_mob has joined #nixos
<simpson>
zx2c4: Thanks for your input. It's nice to have qualified people in this field.
<zx2c4>
gchristensen: do you actually have a good use for using publickey cryptography?
NixOS_GitHub has joined #nixos
<NixOS_GitHub>
[nixpkgs] globin pushed 1 new commit to release-17.03: https://git.io/v9isu
<zx2c4>
gchristensen: the design document mentioned you couldnt think of any reasons for it
<gchristensen>
zx2c4: eelco couldn't, I can easily :)
<simpson>
zx2c4: I can too, since Nix is a POLA system and we have use for pubkey crypto in other POLA constructions.
<gchristensen>
zx2c4: I've been in co's where teams submit secrets pre-encrypted to the ops team, who then deploy them to boxes which can decrypt, so then the secret is shared between just the ops and the team that generated them. (this use case may not be appropriate for the tool, but it is one I can easily consider)
digitus has joined #nixos
<simpson>
Indeed, more generally, obj-cap systems use pubkey crypto to transfer sealed things between nodes. Each endpoint, a *vat*, has its own keypair.
<earldouglas>
Is there a way to create a TLD A record with deployment.route53.hostName?
<earldouglas>
Not sure if it's a limitation of the boto library, or the Route53 API, or just how I'm trying to use it.
endformationage has joined #nixos
aloiscochard has quit [(Quit: Connection closed for inactivity)]
hotfuzz_ has joined #nixos
Wizek__ has quit [(Ping timeout: 240 seconds)]
Wizek_ has quit [(Ping timeout: 260 seconds)]
hotfuzz has quit [(Ping timeout: 240 seconds)]
<earldouglas>
Actually, it appears to be an assumption that _udpate_route53 makes. hostName = "foo.com" results in the hosted zone being detected as "com".
mudri has quit [(Ping timeout: 240 seconds)]
<gchristensen>
domenkozar: the problem is the wiki is largely _wrong_
<gchristensen>
domenkozar: I don't want to screw over users, but I want to fix it, or not fix it and deal with the consequences
<domenkozar>
either it's wrong or it's gone
<domenkozar>
:D
<domenkozar>
ideally we'd have analytics what was really used
<clever>
gchristensen: yeah, but having any kind of access to the archive, that new users cant stumble upon, would allow moving the data to better docs
<gchristensen>
one sec
<clever>
domenkozar: that could work
Biappi has left #nixos []
ryantrinkle has quit [(Ping timeout: 240 seconds)]
<MarcWeber>
nivdia don't work -> screen is black showing blank ..
<MarcWeber>
[ 55.735990] vgaarb: this pci device is not a vga device
reinzelmann has joined #nixos
<MarcWeber>
is what dmesg says, Xorg log only has some warnings.
<MarcWeber>
ubuntu does run, I've set and copied the xorg.conf from ubuntu, still no results.
<MarcWeber>
Any idea?
<MarcWeber>
By nvidia I mean proprietary drivers
<MarcWeber>
nouveau is fine.
<gchristensen>
domenkozar: can you add a link to the Archive.org edition of AllPages to the "down" page?
<MichaelRaskin>
When you try nvidia-proprietary, is nouveau blacklisted?
<MichaelRaskin>
(I am a nouveau user, so I cannot give any good advice, I guess)
<gchristensen>
domenkozar: I hate disappointing users (ಥ﹏ಥ)
marsel has quit [(Ping timeout: 255 seconds)]
georges-duperon has quit [(Ping timeout: 240 seconds)]
marsel has joined #nixos
<benzrf>
hey, can anybody help me understand callHackage?
<benzrf>
it seems to boil down to doing a callPackage on a derivation created by haskellSrc2nix, but the haskellSrc2nix derivation seems to just generate the nix file describing the package you actually want
<domenkozar>
gchristensen: so just a link to toplevel archive page?
<hodapp>
uhh... so inside of a particular "nix-shell --pure", certain packages aren't able to find CUDA or OpenCL, but outside of the shell, they can; any ideas what dependencies might determine this in the case of OpenCL? I don't seem to have anything with 'opencl' installed
<gchristensen>
domenkozar: to the AllPages page I think
<benzrf>
like, it seems as though we have "Nix (Nix HackagePackage)" and we want to use join, but i dont see where join is called, by analogy
<guillaum2>
I just discovered NIX_AUTO_RUN and this is funny ;)
<benzrf>
i wanna see an OS designed around a nix-style architecture
<MichaelRaskin>
You mean an OS kernel?
<benzrf>
but which doesnt try to build that architecture as a leaky abstraction on top of the unix approach to "installation" and "programs"
<benzrf>
yeah itd probably have to be a kernel...
<benzrf>
just thinking about how unix is fundamentally built on a particular notion of the purpose of the filesystem and what it means to "invoke a program" or "run a command"
<benzrf>
and to get the true incarnation of nix, rather than this pale unix shadow, youd need to revise that
jsgrant_om has joined #nixos
<benzrf>
i want a version of nix where you dont need to embed string-interpolated shell scripts into your expressions
<benzrf>
but where the expressions are a primary system abstraction
<benzrf>
but then, of course, none of my software would work on it ;-;
simukis has joined #nixos
mizu_no_oto has joined #nixos
<MichaelRaskin>
Guix uses builders written in Guile and package expressions in DSL in Guile
<maurer>
benzrf: This would not have to be a kernel, what you're looking at would probably best be done as a custom userland
<benzrf>
MichaelRaskin: thats more superficial than what i mean, but really im being utopian, not talking about a real suggestion
<MichaelRaskin>
In some sense, Lua approach to sandboxing may be close to what you want
<benzrf>
some kind of system where a universe of expressions is *assumed as the setting* instead of being proxied through the filesystem, so you dont need to "shell out" since, e.g., your C compiler is a function you can apply within the universe of expressions
mudri has joined #nixos
<benzrf>
oh?
<MichaelRaskin>
As for C compiler as function… well, the core idea of Nix does depend on separating evaluation time and build time
<MichaelRaskin>
But just «compile C file» Nix expression is something that does get used from time to time
<benzrf>
well i mean maybe not literally "a function"
<benzrf>
but something that *lives in the universe of expressions*
<maurer>
I mean, for that you can always look at "Staged Programming"
<benzrf>
the thing about nix is that the underlying components it builds on are just not designed to be compositional with respect to the kinds of abstraction nix creates
georges-duperon has joined #nixos
<benzrf>
so like i said, what i'm talking about is really more of a complete overhaul of all of unix, not so much a legitimate suggestion for a new version of nix
<benzrf>
just have a type of derivations and use it monadically, like haskell IO :]
<MichaelRaskin>
Oh well, that would be horrible
Judson1 has joined #nixos
<benzrf>
what? why
<Judson1>
Is there a way to fix "failed to load icon... Icon ... not present in theme Adwaita" and the associated ugliness? I tried fiddling with lxappearance, but that was worse.
<MichaelRaskin>
Well, unless everything just operates initially on IO even without lifting and this monad can be fully ignored
<benzrf>
what we currently have is already much clunkier than a derivation monad would be!
<benzrf>
although, again, what im talking about would only make sense in the context of a total overhaul of unix such that everything lives in the expression universe natively
tvon has quit [(Quit: System is sleeping...)]
tvon has joined #nixos
pie_ has joined #nixos
snikkers has quit [(Ping timeout: 240 seconds)]
snikkers has joined #nixos
DIzFer has quit [(Ping timeout: 240 seconds)]
DIzFer has joined #nixos
justanotheruser has quit [(Ping timeout: 245 seconds)]
NixOS_GitHub has joined #nixos
<NixOS_GitHub>
[nixpkgs] Mic92 opened pull request #25650: systemd-boot: sync efi filesystem after update (master...systemd-boot) https://git.io/v9iPr
NixOS_GitHub has left #nixos []
mizu_no_oto has quit [(Quit: Computer has gone to sleep.)]
ryanartecona has quit [(Quit: ryanartecona)]
reinzelmann has quit [(Quit: Leaving)]
DutchWolfie has quit [(Quit: Konversation terminated!)]
dejanr_ has joined #nixos
georges-duperon has quit [(Ping timeout: 240 seconds)]
preyalone has quit [(Quit: Connection closed for inactivity)]
<clever>
tywkeene: then you have 3 different channels on your system
<tywkeene>
wait, it's not just the two? one default and the one i just added?
<clever>
tywkeene: you have 2 copies of the nixos channel (with and without root), that follow nixos-16.09, but on different versions (each user has to nix-channel --update)
<clever>
tywkeene: and you have a nixpkgs channel on your user, that follows nixpkgs-unstable
<clever>
so the nixos-rebuild command as root, use roots version of the 16.09 channel
<clever>
while the nix-env command you gave, uses the nixpkgs-unstable version of google-chrome
dejanr_ has quit [(Ping timeout: 268 seconds)]
aneeshusa has joined #nixos
<tywkeene>
so what would be the best setup? same channel for root/non-root?
arjen-jonathan has quit [(Quit: WeeChat 1.7.1)]
<clever>
you can delete the nixos channel on the non-root account, and it should still be able to use the nixos on root
NixOS_GitHub has joined #nixos
<NixOS_GitHub>
[nixpkgs] Mic92 pushed 1 new commit to master: https://git.io/v9i5N
<tywkeene>
clever: alright, i'll do that. thanks, you guys have been a life saver
<clever>
you may also want to update the system to the next stable release channel, 16.09 is a bit old now
NixOS_GitHub has joined #nixos
<NixOS_GitHub>
[nixpkgs] 4z3 opened pull request #25654: Add support for Brother MFC-L2700DN (master...mfcl2700dn) https://git.io/v9iFc
NixOS_GitHub has left #nixos []
<tywkeene>
clever: yeah i was gonna ask about that, thanks for reminding me
roconnor_ has quit [(Ping timeout: 255 seconds)]
<tywkeene>
You know not having a whole lot of docs might be a good thing, at least it forces me to be humble and ask questions, i hate asking questions lmao
<steveeJ>
how can I make sure that after 'with', the variable names are always used to get the attr from the 'with' set instead of using a declared variable from somehwere else?
<steveeJ>
nix-repl> rec { a = { b="b1"; }; b = "b2"; c = (with a; [ b ]); }.c
<steveeJ>
[ "b2" ]
<steveeJ>
I want this to be [ "b1" ]
<clever>
strange, it appears that rec has a higher priority then with
<steveeJ>
clever: right. my intuition would've bet against that
<clever>
same
marsel has quit [(Ping timeout: 264 seconds)]
dejanr_ has joined #nixos
<MichaelRaskin>
The idea is that «with» is usually about a large attrset defined elsewhere, so to avoid surprises caused by mere addition of packages, let always takes precedence over with
<OldDadou>
Hello, how can I overide a package which is create by a callPackage ?
<steveeJ>
MichaelRaskin: "rec" is part of the "let"?
NixOS_GitHub has joined #nixos
<NixOS_GitHub>
[nixpkgs] elitak opened pull request #25655: buildRebar3 and buildMix depend less on hex registry (master...beam) https://git.io/v9ibH
NixOS_GitHub has left #nixos []
<steveeJ>
OldDadou: callPackage doesn't create packages. look at the expressions that are referenced by callPackage, it probably uses mkDerivation
bennofs has joined #nixos
<steveeJ>
(which is overridable by default IIRC)
<MichaelRaskin>
No, but rec works in a similar way and also overrides with
<steveeJ>
MichaelRaskin: so if I define something in let it also overrides with?
<MichaelRaskin>
Yes
<steveeJ>
huh, that is also unexpected
<MichaelRaskin>
Well, it is easy to force «with» to take precedence
<MichaelRaskin>
Just uese a.b
<MichaelRaskin>
Instead of b
<MichaelRaskin>
It is more complicated in the other direction
tywkeene has quit [(Quit: leaving)]
<benzrf>
is there any work at the moment on improving python package support ?
derjohn_mob has joined #nixos
jeremejevs has joined #nixos
<OldDadou>
Thanks steveeJ
catch22 has joined #nixos
georges-duperon has joined #nixos
noexcept_ has quit [(Quit: Lost terminal)]
roconnor_ has joined #nixos
hellrazor has joined #nixos
mizu_no_oto has joined #nixos
OldDadou has quit [(Ping timeout: 260 seconds)]
<magneticduck>
I don't suppose there's any particularly nice way to `import` a version of a certain file with some text prefixed to it?
tvon has quit [(Quit: System is sleeping...)]
montag451___ has joined #nixos
jgertm has joined #nixos
oldDadou has joined #nixos
<oldDadou>
When I try to override an attribute inherited, which has the priority ?
<magneticduck>
eh, silly question; I don't suppose there would be a way of doing that without loosing trace information
takle has quit [(Remote host closed the connection)]
<gchristensen>
magneticduck: eh?
takle has joined #nixos
takle has quit [(Ping timeout: 268 seconds)]
reinzelmann has quit [(Quit: Leaving)]
mark-willem has joined #nixos
simendsjo has quit [(Quit: ERC (IRC client for Emacs 25.1.1))]
<magneticduck>
gchristensen: I'm building a little system with nix and I have directories full of files whose first line is 'module: module "some.namespace.whatever" ...'
<magneticduck>
I'm trying to make the system pulling everything together as invisible as possible so a users just sees these as modules in written some strange DSL
<gchristensen>
I think it would be better to keep that little bit of code at the beginning to make it resemble normal nix
<magneticduck>
the "module" identifier isn't used anywhere else in the file
philipwhite has joined #nixos
<magneticduck>
it's just there to help with syntax -- I have a module name, a list of imported files and a large attrset following it, and I don't want to have to put these three things in the same set
<magneticduck>
it's just syntax.. but well, syntax counts
tvon has joined #nixos
<mark-willem>
Looking for some help getting nixos 17.03 working on a old dell inspiron laptop. I have wireless up, but I can not seem to fix the shutdown problem. The system hangs at "reached target shutdown"
<mark-willem>
All ready tried all the 4.x kernels. Removed the broadcom-sta package. And blacklisted the "wl" module.
<magneticduck>
mark-willem: well it reached target shutdown, what's the problem? ;p
<simpson>
mark-willem: The ACPI implementation on old BIOS often can't turn off the machine without assistance or something magically machine-specific.
<mark-willem>
Normally it will then shutdown by itself
<mark-willem>
Also reboot does not work. It did work when I used the installation USB.
<oldDadou>
Hello, If I need help about installing rustc (1.17) should I ask here or to the rust IRC ?
<magneticduck>
oldDadou: "installing"?
<oldDadou>
magneticduck: Well, if fact is more about update the version of rustc.
<philipp[m]>
How do I get a 64 bit wine with opengl support globally on my system?
<sziszi>
anyone had luck with ryzen on nixos?
Itkovian has quit [(Quit: My MacBook has gone to sleep. ZZZzzz…)]
<sziszi>
I cant even boot up a live image
<LnL>
oldDadou: no idea, we only use it to build rust itself so it might have problems with other projects
jgertm has quit [(Ping timeout: 240 seconds)]
<clever>
philipp[m]: wine.override { wineBuild = "wineWow"; }; will create a 64bit capable wine build
kykim` has quit [(Quit: ERC (IRC client for Emacs 25.1.1))]
<clever>
philipp[m]: and the nixos option hardware.opengl.driSupport32Bit gives you 32bit opengl libs, which you may still need for 32bit exe's under wine
<philipp[m]>
Thanks for that. What is the difference between winewow and wine64?
<philipp[m]>
Ah, winewow also supports 32 bit?
<clever>
not entirely sure, windows 64bit is a bit weird
<oldDadou>
LnL: Okay, so I can say that is far beyond my understanding of nix. Is there a way to request such things ?
<sudoreboot[m]>
Is creating a custom package the only way to run an arbitrary binary from somewhere in your home directory?
<clever>
sudoreboot[m]: this nix expression will compile into a bash script that can be used to patchelf the binary manualy
nh2 has quit [(Quit: Leaving.)]
mark-willem has joined #nixos
<sudoreboot[m]>
Ah, interesting. Would it suffice to run something like OmniSharp regularly? It's for autocompletion in my IDE when I work. There's no derivation for it and it's a ton of work for me to dive into packaging it
digitus has quit [(Quit: digitus)]
<sudoreboot[m]>
Not that omnisharp ever works either way.. but in principle.
<clever>
sudoreboot[m]: yeah, thats a good place
<clever>
ive used it for self-updating linux games
<clever>
the game expects the data and binary to be writable for updates, and undoes the patching
<clever>
but it leaves the result from nix-build alone, so i can re-run ./result ./game and it re-patches it
<sudoreboot[m]>
Thanks, clever. That helps. I'll try it out tomorrow :)
<mark-willem>
rechecked that the reboot and shutdown commands work as expected when booting from the USB-flashdrive.
<clever>
mark-willem: can you pastebin the configuration.nix file?
<garbas>
gchristensen: pong
hellrazor has quit [(Quit: Verlassend)]
hellrazor has joined #nixos
<gchristensen>
garbas: what if I took my export of the wiki and attached the latest revision to each issue
<mark-willem>
clever: https://pastebin.com/K7ZVUCpG hardware-configuration.nix. Which I started to modify to get rid off the broadcom-sta drivers. But that did not help.
<garbas>
ah righ, now is redirect to nixos.org
hellrazor has quit [(Quit: WeeChat 1.7.1)]
<clever>
mark-willem: that also looks normal, cant see any reason for it to break shutdown
<clever>
it appears to disconnect from irc after the message, i'm guessing it reconnects with a different nick for each project
<clever>
and freenode just doesnt allow it to keep 200 bots online at once
Raimondii has joined #nixos
hiratara has quit [(Ping timeout: 272 seconds)]
justbeingglad has left #nixos []
NixOS_GitHub has joined #nixos
<NixOS_GitHub>
[nixpkgs] Zimmi48 closed pull request #25534: Adding some Jane Street packages at version 0.9 (in progress) (master...sexplib-0.9) https://git.io/v92pv
NixOS_GitHub has left #nixos []
hiratara has joined #nixos
Raimondi has quit [(Ping timeout: 268 seconds)]
Raimondii is now known as Raimondi
mizu_no_oto has quit [(Quit: ["Textual IRC Client: www.textualapp.com"])]
ryantrinkle has quit [(Ping timeout: 268 seconds)]
dbmikus has quit [(Quit: WeeChat 1.7)]
civodul has quit [(Quit: ERC (IRC client for Emacs 25.2.1))]
magneticduck has quit [(Ping timeout: 255 seconds)]
chakerbenhamed has quit [(Ping timeout: 240 seconds)]
ryanartecona has joined #nixos
zeus_ has quit [(Read error: Connection reset by peer)]
zeus_ has joined #nixos
takle has joined #nixos
alx741 has quit [(Ping timeout: 240 seconds)]
matthewbauer has quit [(Quit: ERC (IRC client for Emacs 25.1.2))]
matthewbauer has joined #nixos
dejanr_ has quit [(Ping timeout: 240 seconds)]
hellrazor has quit [(Ping timeout: 240 seconds)]
thc202 has quit [(Ping timeout: 271 seconds)]
justanotheruser has joined #nixos
ertes has joined #nixos
NixOS_GitHub has joined #nixos
<NixOS_GitHub>
[nixpkgs] vcunat pushed 1 new commit to staging: https://git.io/v9Pwr
<NixOS_GitHub>
nixpkgs/staging 8b01ec9 Vladimír Čunát: Merge branch 'master' into staging
NixOS_GitHub has left #nixos []
vcunat has quit [(Quit: Leaving.)]
matthewbauer has quit [(Ping timeout: 255 seconds)]
jophish_1 has quit [(Remote host closed the connection)]
<nh2>
why does `toPythonPath ${python2Packages.flask}` not include the python paths of flask's dependencies like jinja2? How can I get the recursive runtime deps of flask?
<clever>
nh2: the deps of flask are in ${python2Packages.flask}/nix-support/propagated-native-build-inputs
<clever>
toPythonPath might not handle that right, so you would need to loop over its contents
<nh2>
clever: urgh. Would it be easier / more correct to instead do `nativeBuildInputs = [(python2.withPackages (pkgs: [pkgs.flask])) ];` and then somehow add that to the PYTHONPATH?
* jack[m]1
gets spammed by hydra.
<clever>
nh2: i think python2.withPackages would create a python shell wrapper that handles all of PYTHONPATH for you
<clever>
nh2: and patch-shebangs may even swap that python wrapper in for #!/usr/bin/env python
<clever>
so it might be far simpler to just do that, and ignore pythonpath entirely
<clever>
nh2: this will basicaly replace /usr/bin/env python with the output of $(which python)
<clever>
which should be the python2.withPackages python
<nh2>
clever: it seems to work. But it should be `propagatedBuildInputs` instead of `nativeBuildInputs`, right?
<clever>
if you put the withPackages into propagatedBuildInputs, then that python will leak into every derivation your package is in the buildInputs of
<clever>
which you probably dont want/need
<sphalerite>
MarcWeber: I have the same problem… and my chip isn't supported by nouveau. Fuck nvidia >_> but anyway if you manage to solve the problem at all do let me know!
<nh2>
clever: hmm, in my case, glusterfs also includes a set of python libraries that depend n those other libraries, so I guess I need I need it in this case?
mojjo has quit [(Ping timeout: 240 seconds)]
<nh2>
clever: or are people who depend on glusterfs supposed to explicitly import the run-time deps somehow?
<clever>
nh2: i dont think it would be able to merge the 2 python wrappers correctly, so it might be better to put python2Packages.flask into the propagatedBuildInputs, in addition to withPackages in the buildInputs
kampfschlaefer has quit [(Ping timeout: 240 seconds)]
<nh2>
clever: thanks, I'll try that now
Raimondi has quit [(Ping timeout: 268 seconds)]
Raimondii is now known as Raimondi
erasmas has quit [(Quit: leaving)]
montag451___ has quit [(Ping timeout: 268 seconds)]
pie_ has quit [(Ping timeout: 240 seconds)]
JagaJaga has quit [(Ping timeout: 260 seconds)]
Wizek has quit [(Ping timeout: 240 seconds)]
Wizek__ has quit [(Ping timeout: 240 seconds)]
<nh2>
clever: I don't get it, it seems that it only works if I put `nativeBuildInputs = [(python2.withPackages (pkgs: [pkgs.flask])) ];`. If I don't use the nativeBuildInputs (which doesn't even make sense because it's for build-time deps), it can't import at run-time
markus1189 has joined #nixos
markus1199 has joined #nixos
matthewbauer has joined #nixos
matthewbauer has quit [(Remote host closed the connection)]
matthewbauer has joined #nixos
markus1209 has quit [(Ping timeout: 240 seconds)]
<clever>
nh2: it helps to keep in mind, buildInputs and propagatedBuildInputs will not just be available in the search path at runtime
<clever>
you need to embed the paths of things into the final output
<clever>
what i said before will embed the result of $(which python) into the #!, so that gets the wrapper
<clever>
but if you have a 2nd package that depends on X and other python stuff, it may need to make a new python2.withPackages over [ X other python stuff];
markus1219 has quit [(Ping timeout: 272 seconds)]
sellout- has joined #nixos
<nh2>
clever: "buildInputs and propagatedBuildInputs will not just be available in the search path at runtime" -- what I don't get is that nativeBuildInputs seems to have this effect!
<nh2>
clever: in addition I have to mention: I always do `wrapProgram $out/path/to/script.py --set PYTHONPATH "$(toPythonPath $out)"`
<clever>
when your not doing a crosscompile, the buildInputs will just be silently renamed (and appended to) the nativeBuildInputs
darlan has joined #nixos
<clever>
can you gist the relevant nix expressions and maybe i can look at it?
<nh2>
clever: but that doesn't seem to align with the following: If I have the above --set, together with `nativeBuildInputs`, it works. But if I move what's in there from nativeBuildInputs to buildInputs, it stops working