[Nix-commits] SVN commit: nix - r29346 - nixos/trunk/modules/services/misc

Author: maggesi Date: Mon Sep 19 13:20:09 2011 New Revision: 29346 URL: https://ssl.nixos.org/websvn/nix/?rev=29346sc=1 Log: Make VirtualBox Guest Additions use the configured kernel. Modified: nixos/trunk/modules/services/misc/virtualbox.nix Modified:

[Nix-commits] SVN commit: nix - r29521 - configurations/trunk/misc/z77z

; + }; + + nixpkgs.config = { +git.guiSupport = true; +git.svnSupport = true; +subversion.perlBindings = true; + }; + + users.extraUsers = [ +{ description = Marco Maggesi; + name = maggesi; + group = users; + extraGroups = [ wheel] ; + useDefaultShell = true

Re: [Nix-dev] Hydra job nixpkgs:trunk:linuxPackages_2_6_39.blcr build 1451865: Failed with non-zero exit code

. A summary of the build information follows: Build ID: | 1451865 Nix name: | blcr-0.8.4-2.6.39.4 Short description: | Berkeley Lab Checkpoint/Restart for Linux (BLCR) Maintainer(s): | Marco Maggesi magg...@math.unifi.it System:| x86_64

[Nix-commits] SVN commit: nix - r29837 - in nixpkgs/trunk/pkgs: development/libraries/yajl lib top-level

Author: maggesi Date: Fri Oct 14 14:00:50 2011 New Revision: 29837 URL: https://nixos.org/websvn/nix/?rev=29837sc=1 Log: Add yaml - Yet Another JSON Library Added: nixpkgs/trunk/pkgs/development/libraries/yajl/ nixpkgs/trunk/pkgs/development/libraries/yajl/default.nix Modified:

[Nix-commits] SVN commit: nix - r29838 - nixpkgs/trunk/pkgs/development/libraries/yajl

Author: maggesi Date: Fri Oct 14 14:14:36 2011 New Revision: 29838 URL: https://nixos.org/websvn/nix/?rev=29838sc=1 Log: yajl: enable Hydra build Modified: nixpkgs/trunk/pkgs/development/libraries/yajl/default.nix Modified: nixpkgs/trunk/pkgs/development/libraries/yajl/default.nix

[Nix-commits] SVN commit: nix - r29863 - nixpkgs/trunk/pkgs/development/libraries/yajl

Author: maggesi Date: Mon Oct 17 10:19:35 2011 New Revision: 29863 URL: https://nixos.org/websvn/nix/?rev=29863sc=1 Log: Make yajl build on Darwin. Modified: nixpkgs/trunk/pkgs/development/libraries/yajl/default.nix Modified: nixpkgs/trunk/pkgs/development/libraries/yajl/default.nix

[Nix-commits] SVN commit: nix - r29933 - nixpkgs/trunk/pkgs/development/libraries/yajl

Author: maggesi Date: Thu Oct 20 11:46:13 2011 New Revision: 29933 URL: https://nixos.org/websvn/nix/?rev=29933sc=1 Log: yajl: fix meta.license Modified: nixpkgs/trunk/pkgs/development/libraries/yajl/default.nix Modified: nixpkgs/trunk/pkgs/development/libraries/yajl/default.nix

[Nix-commits] SVN commit: nix - r29954 - nixpkgs/trunk/pkgs/applications/version-management/fossil

Author: maggesi Date: Fri Oct 21 14:12:46 2011 New Revision: 29954 URL: https://nixos.org/websvn/nix/?rev=29954sc=1 Log: Update fossil to version 1.20 Modified: nixpkgs/trunk/pkgs/applications/version-management/fossil/default.nix Modified:

[Nix-commits] SVN commit: nix - r30574 - nixpkgs/trunk/pkgs/applications/science/logic/isabelle

Author: maggesi Date: Sat Nov 26 18:45:15 2011 New Revision: 30574 URL: https://nixos.org/websvn/nix/?rev=30574sc=1 Log: Update url for Isabelle2011 Modified: nixpkgs/trunk/pkgs/applications/science/logic/isabelle/default.nix Modified:

[Nix-commits] SVN commit: nix - r30875 - nixpkgs/trunk/pkgs/applications/version-management/fossil

Author: maggesi Date: Tue Dec 13 22:19:06 2011 New Revision: 30875 URL: https://nixos.org/websvn/nix/?rev=30875sc=1 Log: Update fossil to version 1.21 Modified: nixpkgs/trunk/pkgs/applications/version-management/fossil/default.nix Modified:

[Nix-commits] SVN commit: nix - r30925 - nixpkgs/trunk/pkgs/development/tools/ocaml/findlib

Author: maggesi Date: Fri Dec 16 09:22:31 2011 New Revision: 30925 URL: https://nixos.org/websvn/nix/?rev=30925sc=1 Log: Update ocaml-findlib to version 1.2.7 Modified: nixpkgs/trunk/pkgs/development/tools/ocaml/findlib/default.nix Modified:

[Nix-commits] SVN commit: nix - r31125 - nixpkgs/trunk/pkgs/applications/science/logic/hol_light

Author: maggesi Date: Wed Dec 28 12:45:59 2011 New Revision: 31125 URL: https://nixos.org/websvn/nix/?rev=31125sc=1 Log: Update HOL Light to r116 Modified: nixpkgs/trunk/pkgs/applications/science/logic/hol_light/default.nix Modified:

[Nix-commits] SVN commit: nix - r31126 - nixpkgs/trunk/pkgs/applications/science/logic/hol_light

Author: maggesi Date: Wed Dec 28 12:49:29 2011 New Revision: 31126 URL: https://nixos.org/websvn/nix/?rev=31126sc=1 Log: Oops! Modified: nixpkgs/trunk/pkgs/applications/science/logic/hol_light/default.nix Modified: nixpkgs/trunk/pkgs/applications/science/logic/hol_light/default.nix

[Nix-commits] SVN commit: nix - r31468 - nixpkgs/trunk/pkgs/applications/science/logic/hol_light

Author: maggesi Date: Tue Jan 10 16:12:11 2012 New Revision: 31468 URL: https://nixos.org/websvn/nix/?rev=31468sc=1 Log: Update HOL Light to rev 118 Modified: nixpkgs/trunk/pkgs/applications/science/logic/hol_light/default.nix Modified:

[Nix-commits] SVN commit: nix - r31956 - nixpkgs/trunk/pkgs/applications/science/logic/hol_light

Author: maggesi Date: Wed Feb 1 14:37:50 2012 New Revision: 31956 URL: https://nixos.org/websvn/nix/?rev=31956sc=1 Log: Update HOL Light to rev 122. Modified: nixpkgs/trunk/pkgs/applications/science/logic/hol_light/default.nix Modified:

[Nix-dev] Best practice to keep a nixos system updated

Hi, I use the following heuristics to keep my computer up to date: 1. go to the hydra queue (http://hydra.nixos.org/queue); 2. if there are jobs running, wait a few hours; 3. otherwise, run immediately nixos-checkout; nixos-rebuild boot; nix-env --always -u \* and hope that the compilation of

[Nix-commits] SVN commit: nix - r33192 - nixpkgs/trunk/pkgs/top-level

Author: maggesi Date: Sat Mar 17 15:03:12 2012 New Revision: 33192 URL: https://nixos.org/websvn/nix/?rev=33192sc=1 Log: Remove lowPrio to ocaml-3.12.1 Modified: nixpkgs/trunk/pkgs/top-level/all-packages.nix Modified: nixpkgs/trunk/pkgs/top-level/all-packages.nix

[Nix-commits] SVN commit: nix - r33196 - nixpkgs/trunk/pkgs/applications/science/logic/hol_light

Author: maggesi Date: Sat Mar 17 16:36:36 2012 New Revision: 33196 URL: https://nixos.org/websvn/nix/?rev=33196sc=1 Log: Update HOL Light to rev 128 Modified: nixpkgs/trunk/pkgs/applications/science/logic/hol_light/default.nix Modified:

[Nix-commits] SVN commit: nix - r33687 - configurations/trunk/misc/z77z

Author: maggesi Date: Mon Apr 9 17:07:23 2012 New Revision: 33687 URL: https://nixos.org/websvn/nix/?rev=33687sc=1 Log: Update virtux configuration Modified: configurations/trunk/misc/z77z/virtux.nix Modified: configurations/trunk/misc/z77z/virtux.nix

[Nix-dev] xen nixos guest on a debian host

Hi, the subject basically says everything. I would like to run a xen virtual appliance hosted by a debian machines. I already have a debian configured guest (it is an empty scratchy machine that I can erase) and I would like to turn it into a nixos guest. Can you see an easy way to do this? My

Re: [Nix-dev] xen nixos guest on a debian host

: selector `nixos' matches no derivations Thanks, Marco 2012/4/27 Eelco Dolstra eelco.dols...@logicblox.com: Hi, On 27/04/12 14:41, Marco Maggesi wrote: the subject basically says everything. I would like to run a xen virtual appliance hosted by a debian machines. I already have a debian

[Nix-commits] SVN commit: nix - r33992 - nixpkgs/trunk/pkgs/applications/science/logic/hol_light

Author: maggesi Date: Sat May 5 16:46:53 2012 New Revision: 33992 URL: https://nixos.org/websvn/nix/?rev=33992sc=1 Log: Update HOL Light to r134 Modified: nixpkgs/trunk/pkgs/applications/science/logic/hol_light/default.nix Modified:

Re: [Nix-dev] xen nixos guest on a debian host

for this? By the way, are there a specific kernel version that you would suggest for running a xen host? Thank you, Marco 2012/5/3 Marco Maggesi magg...@math.unifi.it: Hello, I'm trying to use xen on nixos. I have two problems one for the host, one for the guest: For the host: I have a 32 bit machine

[Nix-dev] nixos-install

Hi, I'm trying to build a xen guest image with nixos. The command nixos-install fails with the following message error: selector `nixos' matches no derivations The source of the problem is the following command found in the script nixos-install srcs=$(nix-env -p

[Nix-commits] SVN commit: nix - r34089 - configurations/trunk/misc/z77z

Author: maggesi Date: Mon May 14 16:41:57 2012 New Revision: 34089 URL: https://nixos.org/websvn/nix/?rev=34089sc=1 Log: Add configuration for dolly Added: configurations/trunk/misc/z77z/dolly.nix Added: configurations/trunk/misc/z77z/dolly.nix

[Nix-commits] SVN commit: nix - r34091 - configurations/trunk/misc/z77z/neve

; + }; + + users.extraUsers = [ +{ + name = maggesi; + description = Marco Maggesi; + home = /home/maggesi; + group = users; + extraGroups = [ wheel ]; + createHome = true; + useDefaultShell = true; +} + ]; + + #virtualisation.xen.enable = true

[Nix-commits] SVN commit: nix - r34092 - configurations/trunk/misc/z77z

Author: maggesi Date: Mon May 14 21:00:57 2012 New Revision: 34092 URL: https://nixos.org/websvn/nix/?rev=34092sc=1 Log: Update configuration of dolly Modified: configurations/trunk/misc/z77z/dolly.nix Modified: configurations/trunk/misc/z77z/dolly.nix

[Nix-commits] SVN commit: nix - r34098 - nixpkgs/trunk/pkgs/os-specific/linux/blcr

Author: maggesi Date: Tue May 15 06:28:14 2012 New Revision: 34098 URL: https://nixos.org/websvn/nix/?rev=34098sc=1 Log: Add assertion: BLCR do not build on recent kernels Modified: nixpkgs/trunk/pkgs/os-specific/linux/blcr/default.nix Modified:

[Nix-commits] SVN commit: nix - r34099 - nixpkgs/trunk/pkgs/top-level

Author: maggesi Date: Tue May 15 06:30:58 2012 New Revision: 34099 URL: https://nixos.org/websvn/nix/?rev=34099sc=1 Log: Removed dead code Modified: nixpkgs/trunk/pkgs/top-level/all-packages.nix Modified: nixpkgs/trunk/pkgs/top-level/all-packages.nix

[Nix-commits] SVN commit: nix - r34100 - nixpkgs/trunk/pkgs/os-specific/linux/blcr

Author: maggesi Date: Tue May 15 06:52:38 2012 New Revision: 34100 URL: https://nixos.org/websvn/nix/?rev=34100sc=1 Log: Typo Modified: nixpkgs/trunk/pkgs/os-specific/linux/blcr/default.nix Modified: nixpkgs/trunk/pkgs/os-specific/linux/blcr/default.nix

[Nix-commits] SVN commit: nix - r34101 - configurations/trunk/misc/z77z

Author: maggesi Date: Tue May 15 10:06:27 2012 New Revision: 34101 URL: https://nixos.org/websvn/nix/?rev=34101sc=1 Log: Reformatting dolly config Modified: configurations/trunk/misc/z77z/dolly.nix Modified: configurations/trunk/misc/z77z/dolly.nix

[Nix-commits] SVN commit: nix - r34115 - nixpkgs/trunk/pkgs/servers/openafs-client

Author: maggesi Date: Tue May 15 17:31:53 2012 New Revision: 34115 URL: https://nixos.org/websvn/nix/?rev=34115sc=1 Log: Blind attempt to update OpenAFS to version 1.6.1 Modified: nixpkgs/trunk/pkgs/servers/openafs-client/default.nix Modified:

[Nix-commits] SVN commit: nix - r34118 - nixpkgs/trunk/pkgs/servers/openafs-client

Author: maggesi Date: Tue May 15 19:36:39 2012 New Revision: 34118 URL: https://nixos.org/websvn/nix/?rev=34118sc=1 Log: Fix openafs hash Modified: nixpkgs/trunk/pkgs/servers/openafs-client/default.nix Modified: nixpkgs/trunk/pkgs/servers/openafs-client/default.nix

[Nix-commits] SVN commit: nix - r34122 - configurations/trunk/misc/z77z

Author: maggesi Date: Tue May 15 20:59:29 2012 New Revision: 34122 URL: https://nixos.org/websvn/nix/?rev=34122sc=1 Log: Enable krb5 and openafs on dolly Modified: configurations/trunk/misc/z77z/dolly.nix Modified: configurations/trunk/misc/z77z/dolly.nix

[Nix-commits] SVN commit: nix - r34123 - configurations/trunk/misc/z77z

Author: maggesi Date: Tue May 15 21:04:19 2012 New Revision: 34123 URL: https://nixos.org/websvn/nix/?rev=34123sc=1 Log: Move to kernel 2.6.35 on virtux Modified: configurations/trunk/misc/z77z/virtux.nix Modified: configurations/trunk/misc/z77z/virtux.nix

[Nix-commits] SVN commit: nix - r34126 - configurations/trunk/misc/z77z

Author: maggesi Date: Tue May 15 21:17:53 2012 New Revision: 34126 URL: https://nixos.org/websvn/nix/?rev=34126sc=1 Log: Add a simple script to generate my system configurations Added: configurations/trunk/misc/z77z/build-releases (contents, props changed)

[Nix-commits] SVN commit: nix - r34134 - nixpkgs/trunk/pkgs/os-specific/linux/blcr

Author: maggesi Date: Wed May 16 08:44:20 2012 New Revision: 34134 URL: https://nixos.org/websvn/nix/?rev=34134sc=1 Log: BLCR fix arsert to include kernel versions 2.6.38.x Modified: nixpkgs/trunk/pkgs/os-specific/linux/blcr/default.nix Modified:

[Nix-commits] SVN commit: nix - r34140 - configurations/trunk/misc/z77z

Author: maggesi Date: Wed May 16 20:30:44 2012 New Revision: 34140 URL: https://nixos.org/websvn/nix/?rev=34140sc=1 Log: Changed swap device for dolly Modified: configurations/trunk/misc/z77z/dolly.nix Modified: configurations/trunk/misc/z77z/dolly.nix

Re: [Nix-dev] xen host

Ok, thank you for your clarification. I will make an attempt to get xen working with 3.x.x kernels on nixos. M. 2012/5/17 Eelco Dolstra eelco.dols...@logicblox.com: Hi, On 17/05/12 10:10, Marco Maggesi wrote: My understanding was that Xen were actively employed by the Xen developers

[Nix-dev] Can't see the errror

Hi, I'm trying to configure a jobset on my hydra system, but I get the following error at `system' [system = i686-linux, nixosSrc = ..., nixpkgsSrc = ..., configurationSrc = ...]: user-thrown exception: Not defined. and I can't understand why. My release.nix is the following:

Re: [Nix-dev] Can't see the errror

Nevermind, I was able to isolate the error. In short, configuraitonSrc must be a string. Thanks, M. 2012/5/18 Marco Maggesi magg...@math.unifi.it: Hi, I'm trying to configure a jobset on my hydra system, but I get the following error  at `system' [system = i686-linux, nixosSrc

[Nix-commits] SVN commit: nix - r34259 - configurations/trunk/misc/z77z

; + users.extraUsers = [ { name = maggesi; description = Marco Maggesi; ___ nix-commits mailing list nix-comm...@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] SVN commit: nix - r34260 - nixpkgs/trunk/pkgs/development/ocaml-modules/pcre

Author: maggesi Date: Mon May 28 14:14:35 2012 New Revision: 34260 URL: https://nixos.org/websvn/nix/?rev=34260sc=1 Log: Fix hash change of ocaml-pcre sources Modified: nixpkgs/trunk/pkgs/development/ocaml-modules/pcre/default.nix Modified:

[Nix-dev] Removed a generation by mistake.

Hi, I removed a generation by mistake from /nix/var/nix/profile. But I din't yet run GC and I know the original path in /nix/store Can I use nix-store to restore the link (and register the the root)? Thanks, M. ___ nix-dev mailing list

Re: [Nix-dev] Removed a generation by mistake.

Ah, nice! It works. I misunderstood the mechanism. I thought the roots were every single link in itself, not the whole directory. Thanks for the clarification. Marco 2012/5/29 Lluís Batlle i Rossell vi...@viric.name: On Tue, May 29, 2012 at 01:56:45PM +0200, Marco Maggesi wrote: Hi, I removed

[Nix-dev] Specific git branch as a hydra jobset input

Hi, is it possible to specify a branch different from refs/heads/master as an input of for a hydra jobset? Thanks, M. ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev

Re: [Nix-dev] Specific git branch as a hydra jobset input

' Cheers, Rob On Fri, Jun 1, 2012 at 4:40 PM, Marco Maggesi magg...@math.unifi.it wrote: Hi, is it possible to specify a branch different from refs/heads/master as an input of for a hydra jobset? Thanks, M. ___ nix-dev mailing list nix-dev

Re: [Nix-dev] nixos-install

Yes, indeed. I was not aware of the migration. My fault, probably, I read the nix-dev mailing list discontinuously. M. 2012/6/7 Kirill Elagin kirela...@gmail.com: 2012/5/10 Marco Maggesi magg...@math.unifi.it The directory  /nix/var/nix/profiles/per-user/root is empty on my system. What

[Nix-dev] HYDRA_DATA

Hi, I just updated my hydra server with nix-channel --update nix-env --always -u \* nixos-rebuild switch If I run hydra-update-gc-roots I get the following error [hydra@o0dom0:/root]$ hydra-update-gc-roots The HYDRA_DATA directory (/var/lib/hydra) does not exist! Compilation failed in

Re: [Nix-dev] HYDRA_DATA

Hi Rob, I added environment.shellInit = '' export HYDRA_DATA=/home/hydra/data export HYDRA_DBI=dbi:Pg:dbname=hydra;host=localhost;user=hydra;; ''; and it seems to work perfectly. Thank you, Marco 2012/6/9 Rob Vermaas rob.verm...@gmail.com: Hi Marco, I just updated my hydra server

Re: [Nix-dev] emacsPackages

And the same is for ocamlPackages, which I created imitating emacsPackages M. 2012/6/11 Peter Simons sim...@cryp.to: Hi Florian,   To understand the situation: with python we have the same problem, or? yes, exactly. Take care, Peter ___

[Nix-dev] Missing archive

Hi, I get an error (see below) during the installation of TimeDate on Darwin. If I understand correctly what is going on, a derivation that is supposed to be available in binary form it is not actually available for download. Is this a bug? Thank you. M. soyuz-2:~ maggesi$ nix-env -f

Re: [Nix-dev] Missing archive

2012/6/12 Eelco Dolstra eelco.dols...@logicblox.com: You may have an old manifest that refers to files that have been deleted from the server since.  Try deleting the files in /nix/var/nix/manifests. It works, thank you. M. ___ nix-dev mailing list

Re: [Nix-dev] Problems using git on darwin

...@logicblox.com Hi, (resend to list) On 22/07/12 11:55, Marco Maggesi wrote: I installed git with nix on darwin. When I try to use remote (github) repositories I get an SSL error: soyuz:nixpkgs maggesi$ git pull error: SSL certificate problem: unable to get local issuer certificate while

Re: [Nix-dev] Problems using git on darwin

2012/7/25 Florian Friesdorf f...@chaoflow.net On Wed, 25 Jul 2012 21:41:14 +0200, Marco Maggesi magg...@math.unifi.it wrote: $ git push origin $ curl https://github.com/maggesi/nixpkgs.git Are you sure git and curl are coming from nix? Yes: $ type -p curl /Users/maggesi/.nix-profile

[Nix-dev] Agda standard library

Hi, I'm trying to figure out how to to install the Agda standard library using cabal2nix. Here is my first attempt: nix-env -iA haskellPackages.cabal2nix cabal2nix http://www.cse.chalmers.se/~nad/repos/lib/lib.cabal (In the --help message cabal2nix advises as recognized URI schemes

[Nix-dev] corrupted manifest?

Hi, on one of my computer I cannot update the channels: [root@neve:~]# nix-channel --update fetching list of Nix archives at ` http://nixos.org/releases/nixos/nixos-0.1pre3901_a025e84-50cc562/MANIFEST.bz2'. .. % Total% Received % Xferd Average Speed TimeTime Time Current

Re: [Nix-dev] xen on nixos

11:06:29 +0200 Marco Maggesi magg...@math.unifi.it wrote: Hi, I'm trying to setup a xen on nixos. I added the following lines to configuration.nix: boot.kernelPackages = pkgs.linuxPackages_3_2_xen; virtualisation.xen.enable = true; virtualisation.xen.domain0MemorySize = 512; nixos

[Nix-dev] uncaught impurity(?)

I have nix+nixpkgs installed on an ubuntu machine. Today an update of the underling ubuntu os broke something in the nix installation, e.g.: root@bantu:~# nix-channel --update /nix/store/xh2349hvdvkvazh0fn9dz4z7za35iig4-curl-7.22.0/bin/curl:

Re: [Nix-dev] end-of-life kernels

For the record, I still use 2.6.35 which is the newest kernel supporting BLCR presently available in NixoOS (BLCR needs kernels = 2.6.38). By the way, for what I can say, this makes NixOS the only distribution which currently supports easily BLCR (just add two lines in configuration.nix). Seems

Re: [Nix-dev] Can't understand how pull requests work

2012/12/23 Michael Raskin 7c6f4...@mail.ru: I submitted this pull request last week https://github.com/NixOS/nixpkgs/pull/216 I cannot understand how this request could be marked as merged and closed by me (I don't have commit access on the nixpkgs project, i think). Also I noticed that no

[Nix-dev] Intrinsically impure build process

Hi everybody, I would like to use Nix to prepare prebuilt checkpointed binaries for the HOL Light theorem prover. (Ideally I would like to prepare a virtualbox appliance with HOL Light and all the related software ready and configured.) [Short explanation: Checkpointing means to freeze a

[Nix-dev] services.mingetty.ttys

Hi, I'm trying to update one of my xen virtual servers. When I launch nixos-rebuild I get the following error ... user-thrown exception: Option 'services.mingetty.ttys' defined without option declaration. The error may come from the following files:

Re: [Nix-dev] services.mingetty.ttys

of the xen-domU.nix into your configuration.nix... minus that line. Regards, Kevin On Sat, 16 Feb 2013 03:38:00 -0700, Marco Maggesi marco.magg...@gmail.com wrote: Hi, I'm trying to update one of my xen virtual servers. When I launch nixos-rebuild I get the following error ... user

[Nix-dev] Network problems

Hi, on OSX I keep getting strange problems when downloading binary substitutes. Usually I have to rerun several time the same command until it succeeds. E.g., $ nix-build -I nixpkgs=~/Devel/nixpkgs fetching path `/nix/store/zy27vsm8q6pqjb8pipfhimq3k891lj2v-diffutils-3.2'... *** Downloading

[Nix-dev] Hydra upgrade

Hi, I'm trying to upgrade my hydra server from an old version (3/4 months). I successfully migrated the nix configuration but it seems that I need to upgrade the database schema. Can you suggest what I have to do in detail? Here is the error I get DBIx::Class::ResultSet::search(): DBI

Re: [Nix-dev] Hydra upgrade

necessary database schema migrations: $ hydra-init ... Hope that helps, Cheers, Rob On Fri, Apr 12, 2013 at 4:49 PM, Marco Maggesi magg...@math.unifi.it wrote: Hi, I'm trying to upgrade my hydra server from an old version (3/4 months). I successfully migrated the nix configuration

[Nix-dev] Unintended spam from my hydra server

Hi, some of you might have received a mail from my hydra server. This was caused by a test where I inadvertently queued the full jobset of nixpkgs. I apologize for the noise. I just stopped the build process by disabling the jobset so I think you should not receive further messages. Now I have

[Nix-dev] Error deleting a jobset or a project in hydra

Hi, it seems that the mechanism for deleting a jobset or a project from hydra is currently broken. Can you confirm this bug? Is this something broken in my hydra server only? Actually, I don't bother to really remove the project, but I would like to regain the associated storage since my hydra

[Nix-dev] Problem with git checkout in hydra

My hydra server can't use git://github.com/NixOS/nixpkgs.git as a Git checkout build input. Here is the evaluation error I get: error fetching latest change from git repo at `git:// github.com/NixOS/nixpkgs.git': fatal: Not a git repository (or any parent up to mount point /home) Stopping at

[Nix-dev] Incompatibility xorg with virtualbox guest additions

Hi, seems that the latest x-updates broke the compatibility with virtualbox guest additions. At the end of this message you can find what I can read in my X.0.log file. Can you suggest a fix or a workaround for this? Thank you, Marco [19.700] (II) LoadModule: vboxvideo [19.700] (II)

[Nix-dev] Nixops on headless server

Hello, I'm trying to install nixops on a headless server and I get the following error which seems to be related to the lack of X environment. I set the option deployment.virtualbox.headless = true; and completely destroyed and recreated the cloud but it doesn't seem to have affect. Any idea?

Re: [Nix-dev] Nixops on headless server

. Patrick On Fri, Nov 1, 2013 at 3:01 PM, Marco Maggesi magg...@math.unifi.it wrote: Hello, I'm trying to install nixops on a headless server and I get the following error which seems to be related to the lack of X environment. I set the option deployment.virtualbox.headless = true

Re: [Nix-dev] Nixops on headless server

I started from scratch. This is the interaction. Thanks a lot, M. [maggesi@o0dom0:~/Devel/nixconfs/minicloud]$ nixops create ./logical.nix ./physical-vbox.nix --name minicloud created deployment ‘aa84379e-6c0c-11e3-8dd5-bfd6a9bb84eb’ aa84379e-6c0c-11e3-8dd5-bfd6a9bb84eb

Re: [Nix-dev] Nixops on headless server

...@ocharles.org.uk On 23/12/13 20:06, Marco Maggesi wrote: I started from scratch. This is the interaction. Thanks a lot, M. [maggesi@o0dom0:~/Devel/nixconfs/minicloud]$ nixops create ./logical.nix ./physical-vbox.nix --name minicloud created deployment ‘aa84379e-6c0c-11e3-8dd5-bfd6a9bb84eb

[Nix-dev] New problem with nixops and virtualbox

Hi, after an update (nixos-13.10 and nixops 1.2) and a complete cleanup (including rm -rf ~/.nixops ~/.VirtualBox ~/Virtualbox\ VMs) I get the following error during deployment: $ nixops deploy webserver creating VirtualBox VM... webserver VBoxManage: error: Guest OS type 'Linux_64' is invalid

[Nix-dev] OCaml

Hi, Presently, the ocaml attribute in all-packages.nix points to 3.12.1 which is rather old now, dating back to 2011. I propose to make OCaml 4.01.0 the default version of OCaml. The OCaml 4.xx series is almost two years old now and OCaml 4.01.0 is already the default version installed (i.e. with

Re: [Nix-dev] OCaml

2014-01-29 Moritz Ulrich mor...@tarn-vedra.de I agree with a cleanup of the OCaml stuff - there are many versions in nixpkgs, and I wonder which of these are really necessary. We have ocaml 3.08.0 which is used only for qcmm. I don't know exactly what qcmm is (a C-- compiler?). But

[Nix-dev] Hydra build of ocamlnet failed

Hi, seems that hydra failed to download the source dist of ocamlnet: http://hydra.nixos.org/build/9674233 http://hydra.nixos.org/build/9674230 I just tried the link http://download.camlcity.org/download/ocamlnet-3.7.3.tar.gz and apparently is now working without problem. Can someone restart

Re: [Nix-dev] Nixops on headless server

thanks for let everyone know. On Tue, Jan 14, 2014 at 12:08 PM, Marco Maggesi magg...@math.unifi.itwrote: Hi, just a quick note to let you know that I gave an other try to nixops today and now everything works as expected! (I deleted the old attempt and I updated nixops to version 1.2

Re: [Nix-dev] Nixops on headless server

Yes, but... Isn't the option deployment.virtualbox.headless = true; for nodes without GUI? M. 2014-04-03 15:09 GMT+02:00 Colin Putney co...@wiresong.com: On Wed, Apr 2, 2014 at 6:40 AM, Marco Maggesi magg...@math.unifi.itwrote: Hi, there seems to be again a problem with nixops

[Nix-dev] Compilation of MLton on darwin

Hi, I would like to enable compilation of MLton on darwin. Looking inside the derivation (development/compilers/mlton) I found the following line which seems specific to linux and I don't know how it can be generalised: patchelf --set-interpreter ${stdenv.glibc}/lib/ld-linux-x86-64.so.2

Re: [Nix-dev] Compilation of MLton on darwin

Yes, this is exactly what I'm trying to do. Prebuilt binaries of MLton for darwin are available. The problem is that to bootstrap the compiler you need first to patchelf these binaries. On linux this is done with the line I cited: patchelf --set-interpreter

Re: [Nix-dev] This Week in NixOS

Great initiative! Keep going! Marco 2014-05-25 20:23 GMT+02:00 Georges Dubus georges.du...@gmail.com: Hello there I mentioned the idea on irc some time ago, and I finally gathered the courage to do it : here is the first issue of This Week in NixOS[1]. For this first issue, I browsed the

Re: [Nix-dev] Zero Hydra Failures (ZHF) project for NixOS

Hi, I would like to give my tiny contribution to ZHF by fixing caml5 version 5.15, e.g. http://hydra.nixos.org/job/nixos/trunk-combined/nixpkgs.ocamlPackages.camlp5_5_strict.x86_64-linux The problem is that camlp5 version 5.15 is old (kept because it is a dependency of matita) and it is not

Re: [Nix-dev] Zero Hydra Failures (ZHF) project for NixOS

Ah, thanks, I didn't notice. So, for the record, the answer to my question was 1, at least in this case. 2014-09-20 10:48 GMT+02:00 Domen Kožar do...@dev.si: Should be fixed in master. On Sat, Sep 20, 2014 at 12:18 AM, Marco Maggesi magg...@math.unifi.it wrote: Hi, I would like to give

Re: [Nix-dev] i686 Builds?

I use 32 bit a lot. First of all, I use it on some old machines with 32bit hardware. But, more importantly, I use it regularly on virtuabox and xen virtual machines. In my experience, for most of my use cases the 32bit require less memory (which is often not abundant on virtual instances) and it

[Nix-dev] Which is the best way to reload all network configurations? (dhcpclient etc)

Hi, I'm not confident with the systemd infrastructure. Which is the best way to shutdown/restart/reload the whole network infrastructure? (interfaces, dhcpclient, etc)? Thanks, Marco ___ nix-dev mailing list nix-dev@lists.science.uu.nl

Re: [Nix-dev] Users of 32-bit NixOS channels?

Hi, I run the 32-bit systems on all my virtual machines (xen and virtual box). It is lighter and faster compared to 64-bit for my applications. Marco 2016-05-17 0:33 GMT+02:00 : > Eelco, is this info available? Maybe we can check downloads of some 32 bit > package that most

Re: [Nix-dev] error: querying path in database: database disk image is malformed

Thanks Domen. But how I do (re)install Nix? >From sources? M. 2016-07-25 10:46 GMT+02:00 Domen Kožar <do...@dev.si>: > Happened to me once, I deleted the sqlite db (made a backup of it first) > and just installed Nix again. > > On Mon, Jul 25, 2016 at 10:23 AM

Re: [Nix-dev] error: querying path in database: database disk image is malformed

; >>> Happened to me once, I deleted the sqlite db (made a backup of it first) >>> and just installed Nix again. >>> >>> On Mon, Jul 25, 2016 at 10:23 AM, Marco Maggesi <magg...@math.unifi.it> >>> wrote: >>> >>>> Hi, >>>&g

[Nix-dev] error: querying path in database: database disk image is malformed

Hi, during the last upgrade I got this error: # nix-env --always -u error: querying path in database: database disk image is malformed (use ‘--show-trace’ to show detailed location information) Here is what sqlite says: ./sqlite3 /nix/var/nix/db/db.sqlite "pragma integrity_check" *** in

[Nix-commits] [NixOS/nixpkgs] c28eb6: Update HOL Light to version 2016-07-23.

Branch: refs/heads/master Home: https://github.com/NixOS/nixpkgs Commit: c28eb6c2ba3637ae1eec426001c3bc42adcc9ce0 https://github.com/NixOS/nixpkgs/commit/c28eb6c2ba3637ae1eec426001c3bc42adcc9ce0 Author: Marco Maggesi <magg...@math.unifi.it> Date: 2016-07-28 (Thu, 28 Ju

Re: [Nix-dev] error: querying path in database: database disk image is malformed

10:10 GMT+02:00 Domen Kožar <do...@dev.si>: > You'll have to boot a live USB/CD, just as you'd perform an installation > from scratch. > > I don't know if there's a better way to fix sqlite (besdes having a > backup), sorry. > > On Tue, Jul 26, 2016 at 10:08 AM, Marco Mag

Re: [Nix-dev] Arch is dropping i686. Should we?

I use nixos i686 on virtualbox, xen and on some old hardware. For some applications, i686 binaries require less memory and are slightly faster. From my personal use, the dismiss of support of i686 would be a loss. Marco 2017-01-26 16:46 GMT+01:00 Ryan Trinkle : > I provide

[Nix-commits] [NixOS/nixpkgs] 060185: Revert "linux*: remove 3.14, as it's no longer mai...

Branch: refs/heads/release-16.09 Home: https://github.com/NixOS/nixpkgs Commit: 0601851a66bf6fe104c3e78e60b052ffaf42f62c https://github.com/NixOS/nixpkgs/commit/0601851a66bf6fe104c3e78e60b052ffaf42f62c Author: Marco Maggesi <magg...@math.unifi.it> Date: 2016-10-07 (Fri,

[Nix-commits] [NixOS/nixpkgs] 51ca69: Fix derivation for linux kernel 3.14.

Branch: refs/heads/release-16.09 Home: https://github.com/NixOS/nixpkgs Commit: 51ca699309df4c30f6761e76ee6c20691ab74f59 https://github.com/NixOS/nixpkgs/commit/51ca699309df4c30f6761e76ee6c20691ab74f59 Author: Marco Maggesi <magg...@math.unifi.it> Date: 2016-10-07 (Fri,

[Nix-commits] [NixOS/nixpkgs] 829580: Revert "Fix derivation for linux kernel 3.14."

Branch: refs/heads/release-16.09 Home: https://github.com/NixOS/nixpkgs Commit: 829580e88aa4cc96e210fb68786faf36771c2497 https://github.com/NixOS/nixpkgs/commit/829580e88aa4cc96e210fb68786faf36771c2497 Author: Marco Maggesi <magg...@math.unifi.it> Date: 2016-10-07 (Fri,

[Nix-commits] [NixOS/nixpkgs] e92172: Revert "linux*: remove 3.14, as it's no longer mai...

Branch: refs/heads/master Home: https://github.com/NixOS/nixpkgs Commit: e92172517640d6c6bcba0f5ee2d5d2e11b010e62 https://github.com/NixOS/nixpkgs/commit/e92172517640d6c6bcba0f5ee2d5d2e11b010e62 Author: Marco Maggesi <magg...@math.unifi.it> Date: 2016-10-07 (Fri, 07 Oc

[Nix-commits] [NixOS/nixpkgs] 435673: Revert "Revert "linux*: remove 3.14, as it's no lo...

Branch: refs/heads/master Home: https://github.com/NixOS/nixpkgs Commit: 435673b9488e1250fcc0608c9a2ba3f7616ff4c6 https://github.com/NixOS/nixpkgs/commit/435673b9488e1250fcc0608c9a2ba3f7616ff4c6 Author: Marco Maggesi <magg...@math.unifi.it> Date: 2016-10-07 (Fri, 07 Oc

  1   2   >