Re: [Nix-dev] keychain

2015-01-06 Thread Domen Kožar
I use:

  programs.ssh.startAgent = false;
  services.xserver.startGnuPGAgent = true;

GnuPGAgent also as ssh agent.


On Tue, Jan 6, 2015 at 9:10 AM, peter.romfeld...@gmail.com 
peter.romfeld...@gmail.com wrote:

 hey,

 sorry for this many questions, i just started using nixos :)

 im quite pampered from ubuntu, and have real trouble to get a keychain
 working.
 in ubuntu i stored my gpg password once in the keychain and then didnt
 had to enter it anymore.

 i tried so far:
 kwallet keychain // seahorse // keepass

 i am using kde4 right now
 my config:
 http://pastebin.com/wsUY8skN

 I would like a fully functional keychain like osx or ubuntu, if possible
 it should startup at boot

 cheers,
 peter
 ___
 nix-dev mailing list
 nix-dev@lists.science.uu.nl
 http://lists.science.uu.nl/mailman/listinfo/nix-dev

___
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev


[Nix-dev] pakcs

2015-01-06 Thread Karn Kallio

The attached patch advances the version of the pakcs (Portland Aachen Kiel 
Curry System compiler) from 1.11.3 to 1.11.4.  It also fixes the broken build 
of the expression for the older version.
From a8eaa6edcdcb0ca4329a6eb433ad729e7e2c1931 Mon Sep 17 00:00:00 2001
From: Karn Kallio kkal...@skami.org
Date: Tue, 6 Jan 2015 04:24:11 -0430
Subject: [PATCH] pakcs: advance version 1.11.3 to 1.11.4, also fixing the
 build.

---
 .../compilers/pakcs/adjust-buildsystem.patch   | 22 +-
 pkgs/development/compilers/pakcs/default.nix   | 48 --
 2 files changed, 29 insertions(+), 41 deletions(-)

diff --git a/pkgs/development/compilers/pakcs/adjust-buildsystem.patch b/pkgs/development/compilers/pakcs/adjust-buildsystem.patch
index 830fc3f..ce0b42c 100644
--- a/pkgs/development/compilers/pakcs/adjust-buildsystem.patch
+++ b/pkgs/development/compilers/pakcs/adjust-buildsystem.patch
@@ -1,15 +1,15 @@
-diff -Naur pakcs-1.11.3-upstream/Makefile pakcs-1.11.3/Makefile
 pakcs-1.11.3-upstream/Makefile	2014-01-31 09:10:03.0 -0430
-+++ pakcs-1.11.3/Makefile	2014-02-03 20:27:41.558334480 -0430
-@@ -66,7 +66,6 @@
- #
- .PHONY: install
- install: installscripts
+diff -Naur pakcs-1.11.4-upstream/Makefile pakcs-1.11.4/Makefile
+--- pakcs-1.11.4-upstream/Makefile	2014-10-24 05:12:37.0 -0430
 pakcs-1.11.4/Makefile	2015-01-05 16:26:39.256709080 -0430
+@@ -94,7 +94,6 @@
+ install: cleanoldinfos installscripts copylibs
+ 	@echo PAKCS installation configuration (file pakcsinitrc):
+ 	@cat pakcsinitrc
 -	$(MAKE) frontend
  	# pre-compile all libraries:
  	@cd lib  $(MAKE) fcy
  	# install the Curry2Prolog compiler as a saved system:
-@@ -105,10 +104,6 @@
+@@ -145,10 +144,6 @@
  # compile the tools:
  .PHONY: tools
  tools:
@@ -20,9 +20,9 @@ diff -Naur pakcs-1.11.3-upstream/Makefile pakcs-1.11.3/Makefile
  	@if [ -r bin/pakcs ] ; then cd currytools  $(MAKE) ; fi
  	@if [ -r bin/pakcs ] ; then cd tools   $(MAKE) ; fi
  
-diff -Naur pakcs-1.11.3-upstream/scripts/pakcs.sh pakcs-1.11.3/scripts/pakcs.sh
 pakcs-1.11.3-upstream/scripts/pakcs.sh	2014-01-31 09:04:19.0 -0430
-+++ pakcs-1.11.3/scripts/pakcs.sh	2014-02-03 20:20:40.775350116 -0430
+diff -Naur pakcs-1.11.4-upstream/scripts/pakcs.sh pakcs-1.11.4/scripts/pakcs.sh
+--- pakcs-1.11.4-upstream/scripts/pakcs.sh	2014-10-24 05:06:07.0 -0430
 pakcs-1.11.4/scripts/pakcs.sh	2015-01-05 16:26:15.697982791 -0430
 @@ -16,7 +16,7 @@
  # use readline wrapper rlwrap if it is installed and we have tty as stdin:
  USERLWRAP=no
diff --git a/pkgs/development/compilers/pakcs/default.nix b/pkgs/development/compilers/pakcs/default.nix
index f7c76d7..433301e 100644
--- a/pkgs/development/compilers/pakcs/default.nix
+++ b/pkgs/development/compilers/pakcs/default.nix
@@ -1,12 +1,12 @@
 { stdenv, fetchurl, cabal, swiProlog, either, mtl, syb
-, glibcLocales, makeWrapper, rlwrap, tk }:
+, glibcLocales, makeWrapper, rlwrap, tk, which }:
 
 let
-  fname = pakcs-1.11.3;
+  fname = pakcs-1.11.4;
 
   fsrc = fetchurl {
 url = http://www.informatik.uni-kiel.de/~pakcs/download/${fname}-src.tar.gz;;
-sha256 = 0f4rhaqss9vfinpdjchxq75g343hz322cv0admjnl4g5g568wk3x;
+sha256 = 1xsn8h58pi1jp8wr4abyrqdps840j8limyv5i812z49npf91fy5c;
   };
 
 in
@@ -35,7 +35,7 @@ stdenv.mkDerivation rec {
 
   src = fsrc;
 
-  buildInputs = [ swiProlog makeWrapper glibcLocales rlwrap tk ];
+  buildInputs = [ swiProlog makeWrapper glibcLocales rlwrap tk which ];
 
   patches = [ ./adjust-buildsystem.patch ];
 
@@ -48,48 +48,37 @@ stdenv.mkDerivation rec {
 sed -i 's@SWIPROLOG=@SWIPROLOG='${swiProlog}/bin/swipl'@' pakcsinitrc
   '';
 
-  preBuild = ''
+  buildPhase = ''
 # Some comments in files are in UTF-8, so include the locale needed by GHC runtime.
 export LOCALE_ARCHIVE=${glibcLocales}/lib/locale/locale-archive
 export LC_ALL=en_US.UTF-8
 
-# Set up link to cymake, which has been built already.
-mkdir -p bin/.local
-ln -s ${curryFront}/bin/cymake bin/.local/
-  '';
+# PAKCS must be build in place due to embedded filesystem references placed by swi.
 
-  installPhase = ''
 # Prepare PAKCSHOME directory.
-mkdir -p $out/pakcs
-for d in bin curry2prolog currytools lib tools cpns include www examples docs ; do
-  cp -r $d $out/pakcs ;
-done
-cp pakcsrc.default $out/pakcs
-cp pakcsinitrc $out/pakcs
+mkdir -p $out/pakcs/bin
 
-# Fixing PAKCSHOME and related paths.
-sed -i 's@PAKCSHOME=/tmp/.*@PAKCSHOME='$out/pakcs'@' $out/pakcs/bin/{pakcs,makecurrycgi,parsecurry,.makesavedstate}
+# Set up link to cymake, which has been built already.
+ln -s ${curryFront}/bin/cymake $out/pakcs/bin/
 
-# The Prolog sources must be rebuilt in their final directory,
-# to switch the embedded references to the tmp build directory.
+# Prevent embedding the derivation build directory as temp.
 export TEMP=/tmp
-(cd $out/pakcs/curry2prolog/ ; rm c2p.state ; make)
-cp Makefile 

[Nix-dev] keychain

2015-01-06 Thread peter.romfeld...@gmail.com
hey,

sorry for this many questions, i just started using nixos :)

im quite pampered from ubuntu, and have real trouble to get a keychain 
working.
in ubuntu i stored my gpg password once in the keychain and then didnt 
had to enter it anymore.

i tried so far:
kwallet keychain // seahorse // keepass

i am using kde4 right now
my config:
http://pastebin.com/wsUY8skN

I would like a fully functional keychain like osx or ubuntu, if possible 
it should startup at boot

cheers,
peter
___
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev


Re: [Nix-dev] Announcing support for GHCJS

2015-01-06 Thread Oliver Charles
Ertugrul Söylemez ert...@gmx.de writes:

 Hi everybody,

 I was going to try it out and found the compiler itself, but couldn't
 figure out how to make a derivation for a JS package.  Is there any
 documentation on that?  If not, in which files should I look?  Something
 like ghcjsWithPackages and cabal.mkJsDerivation would be great.

 Nevermind, I think I got it.

Could you update this thread with your solution, for posterity?

-- ocharles


signature.asc
Description: PGP signature
___
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev


[Nix-dev] VMware Guest Tools

2015-01-06 Thread v.volle
@Brandon Martin: How did you mount the VMWare Tools CD. I always get: 
“VMWare Tools is not available for this guest” (I chose Linux Other 3.x Kernel 
64 Bit”)

Or did you download the VMWare tools?

I would be interested as well in installing the VMWare tools into NixOS on 
VMWare Fusion
___
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev


[Nix-dev] newbie question: Which name is used for eclipse-sdk-4.4 in /etc/nixos/configuration.nix

2015-01-06 Thread Niklaus Giger
Hi everybody

Thanks to lwn pointing me to NixOS I decided to test drive using VirtualBox. I 
was quite impressed how much was available and how smooth my experience has 
been.

I am puzzleed that runnig
nix-env -i eclipse-sdk-4.4
works fine, but I was unable to add it /etc/nixos/configuration.nix with lines 
like
{
  environment.systemPackages =
[ pkgs.eclipse-sdk-4.4
]
}
failed. 

Similarly I was surprised that nix-env -i kdepim needed a item called 
pkgs.kde4.kdepim in /etc/nixos/configuration.nix.

Could anybody point give me an explanation or point me to where I find one for 
this behaviour? I did not find one under https://nixos.org/wiki/FAQ, 
http://nixos.org/nix/manual/ nor http://nixos.org/nixpkgs/manual/.

Best regards

Niklaus

___
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev


Re: [Nix-dev] newbie question: Which name is used for eclipse-sdk-4.4 in /etc/nixos/configuration.nix

2015-01-06 Thread Marc Weber
 (Unfortunately I don't know a good reference to point to for a
 description of this.)
https://nixos.org/wiki/Howto_find_a_package_in_NixOS

Marc Weber
___
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev


Re: [Nix-dev] newbie question: Which name is used for eclipse-sdk-4.4 in /etc/nixos/configuration.nix

2015-01-06 Thread Niklaus Giger
Hi Bjørn

Thanks a lot for your clear explanation!

Best regards

Niklaus

Am Dienstag, 6. Januar 2015, 22.12:55 schrieb Bjørn Forsman:
 On 6 January 2015 at 21:29, Niklaus Giger niklaus.gi...@member.fsf.org 
wrote:
  Hi everybody
  
  Thanks to lwn pointing me to NixOS I decided to test drive using
  VirtualBox. I was quite impressed how much was available and how smooth
  my experience has been.
 
 Great!
 
  I am puzzleed that runnig
  nix-env -i eclipse-sdk-4.4
  works fine, but I was unable to add it /etc/nixos/configuration.nix with
  lines like
  {
  
environment.systemPackages =

  [ pkgs.eclipse-sdk-4.4
  
  ]
  
  }
  failed.
  
  Similarly I was surprised that nix-env -i kdepim needed a item called
  pkgs.kde4.kdepim in /etc/nixos/configuration.nix.
  
  Could anybody point give me an explanation or point me to where I find one
  for this behaviour? I did not find one under https://nixos.org/wiki/FAQ,
  http://nixos.org/nix/manual/ nor http://nixos.org/nixpkgs/manual/.
 It's due to the fact that packages can be installed by attribute
 name or package name. nix-env -i installs by package name, nix-env
 -iA and environment.systemPackages installs by attribute name.
 
 (Unfortunately I don't know a good reference to point to for a
 description of this.)
 
 A comment above the environment.systemPackages line, in the
 configuration.nix template created during installation, should at
 least give you an example command for finding packages: nix-env -qaP
 
 | grep wget
 
 In general, we try to keep the package attribute equal to the package
 name. Not so long ago, nix didn't support dashes in attribute names
 (it confliced with the 'subtraction' operator), so there are packages
 still using attribute names with camelCase or underscore instead of
 dash.
 
 Also, some packages are grouped under container attributes, like you
 saw above (kde4).
 
 Just use nix-env -qaP | grep wget and you'll be OK.
 
 Best regards,
 Bjørn Forsman

___
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev


Re: [Nix-dev] Encrypted root: LUKS over LVM

2015-01-06 Thread Nikita Karetnikov
 Yes, as James says, you should really mount /mnt first. Mounting /mnt after
 /mnt/boot means that /mnt/boot is seen empty.

Thanks, this made it work.

After changing “/dev/mapper/main” to “/dev/main/main” in the config
file, I was able to boot.  But now the following message appears during
the boot process:

/dev/main/main is mounted.
e2fsck: Cannot continue, aborting.

fsck on /dev/main/main failed.

The workaround is to press ‘*’ twice, which allows it to boot, but there
ought to be a better way.  Ideas?


pgpIhcPXdJzy9.pgp
Description: PGP signature
___
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev


Re: [Nix-dev] Encrypted root: LUKS over LVM

2015-01-06 Thread Nikita Karetnikov
I forgot to say that adding ‘noCheck = true;’ doesn’t seem to work.


pgpUuN3EzDKAd.pgp
Description: PGP signature
___
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev


Re: [Nix-dev] newbie question: Which name is used for eclipse-sdk-4.4 in /etc/nixos/configuration.nix

2015-01-06 Thread Bjørn Forsman
On 6 January 2015 at 21:29, Niklaus Giger niklaus.gi...@member.fsf.org wrote:
 Hi everybody

 Thanks to lwn pointing me to NixOS I decided to test drive using VirtualBox. I
 was quite impressed how much was available and how smooth my experience has
 been.

Great!

 I am puzzleed that runnig
 nix-env -i eclipse-sdk-4.4
 works fine, but I was unable to add it /etc/nixos/configuration.nix with lines
 like
 {
   environment.systemPackages =
 [ pkgs.eclipse-sdk-4.4
 ]
 }
 failed.

 Similarly I was surprised that nix-env -i kdepim needed a item called
 pkgs.kde4.kdepim in /etc/nixos/configuration.nix.

 Could anybody point give me an explanation or point me to where I find one for
 this behaviour? I did not find one under https://nixos.org/wiki/FAQ,
 http://nixos.org/nix/manual/ nor http://nixos.org/nixpkgs/manual/.

It's due to the fact that packages can be installed by attribute
name or package name. nix-env -i installs by package name, nix-env
-iA and environment.systemPackages installs by attribute name.

(Unfortunately I don't know a good reference to point to for a
description of this.)

A comment above the environment.systemPackages line, in the
configuration.nix template created during installation, should at
least give you an example command for finding packages: nix-env -qaP
| grep wget

In general, we try to keep the package attribute equal to the package
name. Not so long ago, nix didn't support dashes in attribute names
(it confliced with the 'subtraction' operator), so there are packages
still using attribute names with camelCase or underscore instead of
dash.

Also, some packages are grouped under container attributes, like you
saw above (kde4).

Just use nix-env -qaP | grep wget and you'll be OK.

Best regards,
Bjørn Forsman
___
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev


Re: [Nix-dev] Encrypted root: LUKS over LVM

2015-01-06 Thread James Cook
That's odd. Do you have any idea why e2fsck is failing? What happens
if you run e2fsck -n /dev/main/main after booting?

James

On 6 January 2015 at 14:10, Nikita Karetnikov nik...@karetnikov.org wrote:
 I forgot to say that adding ‘noCheck = true;’ doesn’t seem to work.

 ___
 nix-dev mailing list
 nix-dev@lists.science.uu.nl
 http://lists.science.uu.nl/mailman/listinfo/nix-dev

___
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev


[Nix-dev] mercury

2015-01-06 Thread Karn Kallio
The attached patch advances the version of the Mercury compiler from 14.01 to 
14.01.1

From 0f41beac08dc98c52aafaf4d9e35b560c6fd6cb5 Mon Sep 17 00:00:00 2001
From: Karn Kallio kkal...@skami.org
Date: Tue, 6 Jan 2015 21:09:15 -0430
Subject: [PATCH] mercury: Advance version of Mercury compiler from 14.01 to
 14.01.1

---
 pkgs/development/compilers/mercury/default.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pkgs/development/compilers/mercury/default.nix b/pkgs/development/compilers/mercury/default.nix
index de9b44a..c2352b8 100644
--- a/pkgs/development/compilers/mercury/default.nix
+++ b/pkgs/development/compilers/mercury/default.nix
@@ -3,11 +3,11 @@
 
 stdenv.mkDerivation rec {
   name= mercury-${version};
-  version = 14.01;
+  version = 14.01.1;
 
   src = fetchurl {
 url= http://dl.mercurylang.org/release/mercury-srcdist-${version}.tar.gz;;
-sha256 = 1hgwmsaacxhgx2p2hikl5px8xf0wny9wx47gjl258dgxxasbfij4;
+sha256 = 12z8qi3da8q50mcsjsy5bnr4ia6ny5lkxvzy01a3c9blgbgcpxwq;
   };
 
   buildInputs = [ gcc flex bison texinfo jdk erlang makeWrapper
-- 
2.1.4

___
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev


[Nix-dev] Announce list?

2015-01-06 Thread Martin Bravenboer
Hi all,

Would it be a good idea to create a mailing list for announcements only?

It would be nice if people who want to follow releases or major events can
sign up for an email list with low traffic.

Thanks,
Martin
___
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev


Re: [Nix-dev] VMware Guest Tools

2015-01-06 Thread Brandon Martin
Hey v.volle,

I had to say it was one of the supported os's like Ubuntu. Then you get an 
error but you can mount /dev/cdrom and go from there. I would still like to dig 
into this some more, but for now switched to virtualbox. 

--
Brandon Martin

 On Jan 6, 2015, at 4:55 AM, v.volle v.vo...@computer.org wrote:
 
 @Brandon Martin: How did you mount the VMWare Tools CD. I always get: 
 “VMWare Tools is not available for this guest” (I chose Linux Other 3.x 
 Kernel 64 Bit”)
 
 Or did you download the VMWare tools?
 
 I would be interested as well in installing the VMWare tools into NixOS on 
 VMWare Fusion
 ___
 nix-dev mailing list
 nix-dev@lists.science.uu.nl
 http://lists.science.uu.nl/mailman/listinfo/nix-dev
___
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev


Re: [Nix-dev] Announce list?

2015-01-06 Thread Shea Levy
Definitely a good idea.

 On Jan 7, 2015, at 4:19 AM, Martin Bravenboer martin.bravenb...@gmail.com 
 wrote:
 
 Hi all,
 
 Would it be a good idea to create a mailing list for announcements only?
 
 It would be nice if people who want to follow releases or major events can 
 sign up for an email list with low traffic.
 
 Thanks,
 Martin
 ___
 nix-dev mailing list
 nix-dev@lists.science.uu.nl
 http://lists.science.uu.nl/mailman/listinfo/nix-dev

___
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev


Re: [Nix-dev] newbie question: Which name is used for eclipse-sdk-4.4 in /etc/nixos/configuration.nix

2015-01-06 Thread Bjørn Forsman
On 7 January 2015 at 00:27, Marc Weber marco-owe...@gmx.de wrote:
 (Unfortunately I don't know a good reference to point to for a
 description of this.)
 https://nixos.org/wiki/Howto_find_a_package_in_NixOS

Thanks.

I think it would be a good idea to move some of that into the nixos
manual. Maybe extend
http://nixos.org/nixos/manual/sec-package-management.html with a few
lines?

- Bjørn
___
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev