[Nix-dev] Wireless firmware for NixOS Live CD

Hi, I'm a new NixOS user. First I would like to thanky Marc Weber for all his help in getting NixOS installed on my laptop. One issue is that neither my wireless, nor my wired network worked off the Live CD, as yopposed to the Kubuntu 8.04 live CD where the wireless worked. For my wireless

[Nix-dev] Encrypted Root

I sucessfully managed to boot my encrypted root system today. The configuration file is a little ugly, but I'd love to help integrate it properly into nixos by creating proper configuration parameters. I'm am currently using dm-crypt/luks with lvm on top of it, but what I have written work eq

[Nix-dev] Installing older ocaml

Given that I cannot get coq to build, what is the proper proceedure to install an older version of ocaml? -- Russell O'Connor ``All talk about `theft,''' the general counsel of the American Graphophone Company wrote, ``is the merest claptrap,

Re: [Nix-dev] Installing older ocaml

On Wed, 14 Oct 2009, Marco Maggesi wrote: I wrote a nix expression for Coq. You can grab a tarball from my home page. E.g., you can install coq (with coqide) as follows: wget http://web.math.unifi.it/~maggesi/mm-nix.tgz tar xzf mm-nix.tgz cd mm-nix << Edit the file all-packages.nix to change t

[Nix-dev] 2.6.31 kernel

I get a nix-expression error when trying reconfigure nixos to use the 2.6.31 kernel: boot.kernelPackages = pkgs.kernelPackages_2_6_31 Below is my trace # nixos-rebuild boot --show-trace obtaining list of Nix archives at `http://nixos.org/releases/nixpkgs/channels/nixpkgs-unstable/MANIFEST.bz

RE: [Nix-dev] optional packages for KDE

I used to use wicd for my wireless configuration under ubuntu. I was looking into making a nix package for it, but it is currently beyond my nix ability. If someone else is interested in packaging wicd for nix, it would probably get done faster than waiting for me. On Fri, 27 Nov 2009, Sand

Re: [Nix-dev] Nix(OS) and passwords ? builtins.writeFileToPath proposal

On Sun, 27 Dec 2009, Marc Weber wrote: Pierron, Michael: Thank you for your feedback. The solution writing a file would be a hack. It could be made more secure by allowing writing to a specific directory only. But it would break many things such as prebuilding system derivations (which is used

[Nix-dev] read-only nix store

I'm surprised that derivations in the nix store are not read only. I would have expected the last step of building a derivation would be to make the final result read only. When making nix packages I keep encountering problems where the program writes into the store at runtime. If derivation

[Nix-dev] wicd for nixos

wicd is a network manager. Please find attached a patch to add wicd to nixos. I've only started with the basic functionality for wicd and I haven't tested it very well yet. In particular I haven't tested the wpa functionality yet. This is my first nixos configuration so it should probably b

Re: [Nix-dev] wicd for nixos

I've made some update to my wicd patch. I was able to test it on a WPA network at my university, so now I've tested it with a simple password protected WPA network. I don't know what you guys are using for your wireless network manager, but I find wicd extermely helpful. Please review my pat

Re: [Nix-dev] wicd in nixpkgs - to be fixed

store path? Roconnor, can you review this? 2010/1/8 Ludovic Courtès : Sorry for not reviewing earlier, but better late than never.  ;-) ___ nix-dev mailing list nix-dev@cs.uu.nl https://mail.cs.uu.nl/mailman/listinfo/nix-dev -- Russell O'C

Re: [Nix-dev] wicd in nixpkgs - to be fixed

the wicd expression following the ludo recommendations. I did not try to build wicd before, and when I tried, it did not build for me. It tries to install something to the python store path. What does it try to install in the python store path? Roconnor, can you review this? 2010/1/8 Ludovic

[Nix-dev] fsck.btrfs on boot (Was: On /nix off the root partition)

On Wed, 24 Mar 2010, Lluís Batlle wrote: Roconnor mentioned some problems on irc about that... I've had /nix off the /root partition in many computers. You simply need to mark in fileSystems the partition as: neededForBoot = true; I also had the 'nix' directory inside the /home

[Nix-dev] Patch for privoxy

Here is a patch that you can apply to make the privoxy service actually run as the privoxy user: Index: modules/services/networking/privoxy.nix === --- modules/services/networking/privoxy.nix (revision 21548) +++ modules/service

[Nix-dev] Patches for a NixOS Tor service

Here are the patches needed to create a tor service for NixOS. It's a bit preliminary at the moment, but the main funcitonality is there. Bugs: the torify program doesn't work yet. -- Russell O'Connor ``All talk about `theft,''' the general

Re: [Nix-dev] Re: Patches for a NixOS Tor service

Here are the admended patches. I've incorporated most of your suggestions; however... On Mon, 3 May 2010, Ludovic Courtès wrote: + config = mkOption { +default = ""; +description = '' + Extra configuration. Contents will be added verbatim to the configuration fi

[Nix-dev] patch for font documentation

Here is a patch to give an example how to use font.extraFonts Index: modules/config/fonts.nix === --- modules/config/fonts.nix(revision 21811) +++ modules/config/fonts.nix(working copy) @@ -73,6 +73,7 @@ extraFonts =

[Nix-dev] patch for coq

Strike one item off the todo list: Index: pkgs/applications/science/logic/coq/default.nix === --- pkgs/applications/science/logic/coq/default.nix (revision 21811) +++ pkgs/applications/science/logic/coq/default.nix (working c

Re: [Nix-dev] Suspend in KDE broken

I'd like to also add that lock as never worked in KDE for me under nixos. On Thu, 20 May 2010, Eelco Dolstra wrote: Hi, I noticed that sleep / suspend-to-RAM in KDE is broken. Running "pm-suspend" as root does work. This may be a PolicyKit/polkit (whatever it's called this week) problem, sin

Re: [Nix-dev] texmacs

I have a completely different dervation for TeXmacs than the one in nixpkgs. I could send that to you. On Sat, 22 May 2010, magg...@math.unifi.it wrote: Hi, does anybody uses texmacs on nixos? When I start texmacs I get the following error ~$ texmacs I could not open ecr...@300 Fatal error

Re: [Nix-dev] Re: texmacs

On Sat, 22 May 2010, Ludovic Courtès wrote: Hi, rocon...@theorem.ca writes: I have a completely different dervation for TeXmacs than the one in nixpkgs. I could send that to you. Or merge both in Nixpkgs? Sure. I have vague plans for that, but I think it is easier said than done. --

Re: [Nix-dev] texmacs

Here is the relevent line for all-packages: + texmacs = import ../applications/editors/texmacs { +inherit stdenv fetchurl guile x11 which makeWrapper; +inherit (xlibs) xmodmap; +# include the following optional packages +inherit tetex ghostscriptX aspell; +extraFonts = true;

[Nix-dev] Patch to update Coq

Here is a patch to update coq to the most recent stable version. Index: pkgs/applications/science/logic/coq/default.nix === --- pkgs/applications/science/logic/coq/default.nix (revision 22814) +++ pkgs/applications/science/logic/

[Nix-dev] patch to allow switching profiles

Here is a patch to allows nix-env -S to actually switch profiles. Before the patch switch profiles relinks the ~/.nix-profile directory, but because the ~/.nix-profile directory wasn't in the path, this switch didn't really do much. The patch makes me a little nervous because the path is set

[Nix-dev] patch for ocaml

Here is a patch for ocaml that makes an include directory and symlinks ocaml's C header files into that directory. By having an include directory it is automatically propogated as to NIX_CFLAGS_COMPILE for anyone who uses ocaml as a build input. Question, should this patch be applied to the o

Re: [Nix-dev] Re: patch for ocaml

On Thu, 2 Sep 2010, Yury G. Kudryashov wrote: rocon...@theorem.ca wrote: + postBuild = '' +ensureDir $out/include +ln -s $out/lib/ocaml/caml $out/include/caml + ''; I'd prefer ln -sv to see this in the build log. This is a freindly amendment. -- Russell O'Connor

[Nix-dev] mysql libraries

The mysql derivation builds it's libraries in ...mysql-5.0.77/lib/mysql rather than in ...mysql-5.0.77/lib This means that when I set mysql as a build input the NIX_LDFLAGS gets a -L...mysql-5.0.77/lib and thus cannot find the libraries which are actually located in -L...mysql-5.0.77/lib/mys

Re: [Nix-dev] mysql libraries

On Wed, 15 Sep 2010, Marc Weber wrote: Old topic: http://thread.gmane.org/gmane.linux.distributions.nixos/4185 There were no follow-ups? So the topic is still open for discussion then? FWIW, I think the lib issue is more pressing than the include issue. -- Russell O'Connor

Re: [Nix-dev] patch to allow switching profiles

Anyone want to review this patch? On Wed, 25 Aug 2010, rocon...@theorem.ca wrote: Here is a patch to allows nix-env -S to actually switch profiles. Before the patch switch profiles relinks the ~/.nix-profile directory, but because the ~/.nix-profile directory wasn't in the path, this switch d

Re: [Nix-dev] Re: patch to allow switching profiles

On Sun, 19 Sep 2010, Yury G. Kudryashov wrote: rocon...@theorem.ca wrote: Here is a patch to allows nix-env -S to actually switch profiles. Before the patch switch profiles relinks the ~/.nix-profile directory, but because the ~/.nix-profile directory wasn't in the path, this switch didn't re

Re: [Nix-dev] new package: crack-attack

It might be helpful to run svn diff inside the /etc/nixos/nixpkgs/ directory and attach the output of that command. However, you may need to first run svn add on all the files or directories you created for you new package. -- Russell O'Connor

[Nix-dev] Removing PulseAudio from KDE 4.4

I want to mention to those intersted, that I have locally removed pulseaudio from my build inputs to phonon in KDE 4.4 and my audio life has become considerably simpler. I'm not proposing that my attached patch be put into nixpkgs, but for those people, who like me, have problems with audio in

Re: [Nix-dev] Removing PulseAudio from KDE 4.4

On Thu, 23 Sep 2010, Michael Raskin wrote: -BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On 09/23/2010 07:40 PM, Eelco Dolstra wrote: I had a somewhat similar problem on my Asus eeePC, namely that the PC speaker device was the default ALSA sound device, which is inconvenient. This was not rel

[Nix-dev] zsh in NixOS

I was trying to help Twey set up zsh as his shell. I first suggested that he set users.defaultUserShell to something like "${pkgs.zsh}/bin/zsh"; however the NixOS manual says: ``‘This must not be a store path, since the path is used outside the store (in particular in /etc/passwd). Rather, i

[Nix-dev] Replacing tsocks with torsocks

(these questions are mainly directed at Phreedom) I'm working on replacing tsocks with torsocks, and I have a few questions about the torify configuration module: Is there a reason for the default for services.tor.torify.server to be "localhost:9050" instead of being cfg.client.socksListenAdd

[Nix-dev] overriding gcc in dependencies.

openjade requires gcc33 to build. openjade also requires opensp to build. opensp doesn't require gcc33 to build. How do I get openjade to use a version of opensp that uses gcc33? Below I just inline a new derivation of opensp, but such cut and paste doesn't seem very modular. Index: pkgs/top

Re: [Nix-dev] Re: overriding gcc in dependencies.

On Mon, 4 Oct 2010, Yury G. Kudryashov wrote: rocon...@theorem.ca wrote: openjade requires gcc33 to build. openjade also requires opensp to build. opensp doesn't require gcc33 to build. How do I get openjade to use a version of opensp that uses gcc33? opensp = opensp.override { stdenv = ...

Re: [Nix-dev] Re: overriding gcc in dependencies.

On Mon, 4 Oct 2010, Yury G. Kudryashov wrote: rocon...@theorem.ca wrote: openjade requires gcc33 to build. openjade also requires opensp to build. opensp doesn't require gcc33 to build. How do I get openjade to use a version of opensp that uses gcc33? opensp = opensp.override { stdenv = ...

Re: [Nix-dev] RE: Personal Channel setup

my 2 cents is that instead of patching nix-push, which should remain dual to nix-pull, perhaps one should patch nix-channel so that nix-channel --push does a nix-push and uses curl to upload an tar bzipped expression. On Wed, 6 Oct 2010, Yury G. Kudryashov wrote: Iqbal Ahmed wrote: This p

[Nix-dev] Preview of Matita Package for Nix

A preliminary Nix build expression for Matita (and its many dependencies) is avaiable via darcs by darcs get http://r6.ca/ArchiveOfFormalizedReasoning/ Nix is a purely functional package management program available for many different Linux distributions (and some non-linux distributions).

[Nix-dev] Removing nulls in BuildInputs

There was an idea tossed around on #nixos a few days ago that mkDerivation should remove the nulls from buildInputs (and maybe other items too). This would help make more consistent hashes that now currently change when we do refactoring that removes an item from the build input vs setting it t

Re: [Nix-dev] Removing nulls in BuildInputs

On Fri, 22 Oct 2010, Marc Weber wrote: Excerpts from roconnor's message of Fri Oct 22 21:55:07 +0200 2010: There was an idea tossed around on #nixos a few days ago that mkDerivation should remove the nulls from buildInputs (and maybe other items too). This would help make more consistent hashes

Re: [Nix-dev] Re: Removing nulls in BuildInputs

On Sun, 24 Oct 2010, Ludovic Courtès wrote: Hello, rocon...@theorem.ca writes: There was an idea tossed around on #nixos a few days ago that mkDerivation should remove the nulls from buildInputs (and maybe other items too). This would help make more consistent hashes that now currently change

Re: [Nix-dev] Re: Please update of stdenv-linux tarballs

On Sat, 30 Oct 2010, Ludovic Courtès wrote: OTOH, we don’t want to make bootstrapping too complex either, so there’s surely a trade-off here, and it probably needs to be considered on a case-by-case basis. For this particular case, avoiding the upgrade would have been costly, I guess. In this

[Nix-dev] nix-build taking forever

Can anyone confirm that using nix-build to build any haskell package takes forever, while nix-env -i works fine? e.g. nix-build /etc/nixos/nixpkgs -Anixpkgs_sys.haskellPackages.colour -v runs until evaluating file `/etc/nixos/nixpkgs/pkgs/development/libraries/gmp' and then appears to hang.

Re: [Nix-dev] nix-build taking forever

Nevermind. You just need a space after the -A On Tue, 16 Nov 2010, rocon...@theorem.ca wrote: Can anyone confirm that using nix-build to build any haskell package takes forever, while nix-env -i works fine? e.g. nix-build /etc/nixos/nixpkgs -Anixpkgs_sys.haskellPackages.colour -v runs until

[Nix-dev] Matita Package for Nix

The Matita proof assistant is now available for Nix and is now part of the Nixpkgs collection of software. This means that Matita is available to all users of the Nix package manager and, in particular, to NixOS users. Matita can be installed with nix-env -i matita Nix is a purely functi

[Nix-dev] fixing ghc-pkg update

Nixers interested cabal might be intersting in following this bug I posted to GHC trac: http://hackage.haskell.org/trac/ghc/ticket/4884 basically ghc-pkg --package-conf=myPkg1 --package-conf=myPkg2 --package-conf=myPkg3 --global --user update newPkg.conf doesn't work properly. This is es

Re: [Nix-dev] fixing ghc-pkg update

On Fri, 7 Jan 2011, Marc Weber wrote: I don't know the answer to that, but we should strive to make cabal work Do you mind talking about the use case which doesn't work for you currently? Specificall if you use nix-env -i haskellPackageA to install some haskell package, and then you downloa

Re: [Nix-dev] fixing ghc-pkg update

It turns out that this bug is won't fix: See I was afraid of this. This means that the ghc-pkg wrapper doesn't really work in NixOS. Or, is this specifically the way that NixOS is designed? Am I not supposed to be doing user insta

[Nix-dev] kde broken on graphical iso

I posted this bug on yellowgrass at http://yellowgrass.org/issue/NixOS/121 two weeks ago, but there is been no work on it AFAIK. I think this is a serious issue that has actually been around for months. We will not gain many new users of NixOS when our own graphical ISO fails to boot up a gra

[Nix-dev] Boost and Locale issues

I've almost completed a package for bitcoin, but I'm having a locale issue $ result/bin/bitcoin terminate called after throwing an instance of 'std::runtime_error' what(): locale::facet::_S_create_c_locale name not valid Aborted However the programs run correctly in an environment where LANG=

Re: [Nix-dev] Re: Boost and Locale issues

I've applied the patch given in that boost ticket and now bitcoin runs without setting any environment variables. Shall I go ahead and commit this update to the boost package? On Fri, 25 Mar 2011, Rob Vermaas wrote: Sounds like a known bug in boost: https://svn.boost.org/trac/boost/ticket/468

[Nix-dev] How can I stop python writing into the nix store?

Wicd runs as root. The demon is written in Python. When python runs it likes to write new .pyc and/or .pyo files into the store. Since wicd is running as root it obliges and modifies the store directory. Clearly this is bad. What is the best way to stop python from modifying the nix store?

Re: [Nix-dev] How can I stop python writing into the nix store?

Thanks. What about the generation of .pyo files? (I'm pretty ignorate about how python works.) On Mon, 4 Apr 2011, Eelco Dolstra wrote: Hi, On 04/04/2011 08:19 AM, rocon...@theorem.ca wrote: Wicd runs as root. The demon is written in Python. When python runs it likes to write new .pyc an

Re: [Nix-dev] Re: Nix-env bugs

On Wed, 6 Apr 2011, Eelco Dolstra wrote: Yes. But in this instance I would have had to backport the modularisation changes to Python 2.4/2.6, which didn't seem worth the effort. If somebody needs the old Python versions, I can still do this (I don't think the build process changed much betwe

[Nix-dev] openvpn module in NixOS

There is a bug in the openvpn nixos module. The line ${config.system.sbin.modprobe} tun || true doesn't work because ${config.system.sbin.modprobe} evaluates to a directory and not an executable I've patched this locally by replacing the above line with ${config.system.s

Re: [Nix-dev] openvpn module in NixOS

On Sun, 10 Apr 2011, Lluís Batlle i Rossell wrote: On Sun, Apr 10, 2011 at 10:22:21AM -0400, rocon...@theorem.ca wrote: ${config.system.sbin.modprobe}/sbin/modprobe tun || true Maybe instead of that, the nixos module should simply add the "tun" into boot.kernelModules. Sounds rea

[Nix-dev] disabling pulseaudio in kde

Is there some way to disable pulseaudio in kde-4.5.5? Right now I'm resorting to while (true); do killall pulseaudio; done To get audio working in youtube. -- Russell O'Connor ``All talk about `theft,''' the general counsel of the American

Re: [Nix-dev] disabling pulseaudio in kde

# nixos-option hardware.pulseaudio.enable false I was under the impression that hardware.pulseaudio.enable was for enabling root managed pulseaudio (which I understand that pulseaudio does *not* recommend). As I understand this nasty instance of pulseaudio is coming from kde somewhere. Last

Re: [Nix-dev] disabling pulseaudio in kde

On Fri, 2 Sep 2011, Eelco Dolstra wrote: Removing pulseaudio from the dependencies should no longer be necessary, because the "autospawn=no" flag in /etc/pulse/client.conf should prevent it from being started. Note that this didn't work prior to r28147 because PulseAudio used $prefix/etc for

Re: [Nix-dev] disabling pulseaudio in kde

It appears to me that flashplayer 10 is causing pulseaudio to startup. Why would that happen? -- Russell O'Connor ``All talk about `theft,''' the general counsel of the American Graphophone Company wrote, ``is the merest claptrap, for there ex

Re: [Nix-dev] disabling pulseaudio in kde

On Wed, 7 Sep 2011, rocon...@theorem.ca wrote: It appears to me that flashplayer 10 is causing pulseaudio to startup. Why would that happen? Turns out deleteing my ~/.asoundrc file was the key to fixing my woes. -- Russell O'Connor ``All ta