Re: [Nix-dev] Objections to switching to Bluez5?

2014-04-12 Thread Carles Pagès
I only started playing with bluetooth the other day and also relied on
bluez5. Perhaps we could open an issue to track making bluez5 the default,
with all that info?


2014-04-11 19:34 GMT+02:00 Kirill Elagin kirela...@gmail.com:

 Speaking about KDE, looks like we need bluedevil = 2 and it's still RC1.
 From my experience it's pretty stable but probably we should wait…

 That's a pity, Bluez4 sucks so much!


 --
 Кирилл Елагин


 On Fri, Apr 11, 2014 at 9:28 PM, Kirill Elagin kirela...@gmail.comwrote:

 I'd like to upgrade to Bluez 5 since I have no idea how to control Bluez
 4 from the commandline.

 The bad news here is that Bluez 5 completely dropped support for
 microphones (that is, one
 can user his headset to play music, but not to talk). [1]

 That's why it would be nice to leave users some choice: Bluez 4 or 5.

 Also PA 5 is required to have BT audio playback with Bluez 5.
 It looks like PA 4 - 5 upgrade should be smooth.
 I could look into possibility of this upgrade but I'm not sure how to
 deal with
 systemd-related stuff in PA expression. It looks like currently
 PulseAudio is
 being built without systemd support for some reason.


   [1]: http://www.freedesktop.org/wiki/Software/PulseAudio/Notes/5.0/


 --
 Кирилл Елагин


 On Fri, Apr 11, 2014 at 9:14 PM, Aristid Breitkreuz 
 arist...@gmail.comwrote:

 PA 5 brings Bluez 5 audio, no idea how easy it is to get running.
 Am 11.04.2014 18:51 schrieb Kirill Elagin kirela...@gmail.com:

 Why? Audio profiles weren't working anyway (at least, for me)…


 --
 Кирилл Елагин


 On Fri, Apr 11, 2014 at 8:42 PM, Aristid Breitkreuz arist...@gmail.com
  wrote:

 This would require a pulseaudio update.
 Am 11.04.2014 18:40 schrieb Kirill Elagin kirela...@gmail.com:

 Any news on that?

 I'm sure I've been using Bluez 5 with KDE 4.11.5 on my Gentoo laptop
 for quite some time.


 --
 Кирилл Елагин


 On Wed, Aug 28, 2013 at 12:02 AM, Aristid Breitkreuz 
 arist...@gmail.com wrote:

 It appears that KDE does not support Bluez 5 at this point, so this
 appears to be out of the question for now.


 2013/8/27 Aristid Breitkreuz arist...@gmail.com

 Hi!

 I'm currently updating packages, so Bluez5 works again. I believe
 it was not made the default way back when because it did not support 
 Kernel
 3.2, right? Well, now 3.4 is default so how about switching NixOS over 
 to
 Bluez5 (assuming I get it all to work...)?


 Cheers,

 Aristid



 ___
 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 mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev


Re: [Nix-dev] Objections to switching to Bluez5?

2014-04-12 Thread Kirill Elagin
Ok, I'll open an issue, but not right now (go ahead and do that if you have
some spare time).

BTW, you already can install Bluez5 if you don't care about audio profiles
and KDE support
just to use it from the console (that's what I did for now).


--
Кирилл Елагин


On Sat, Apr 12, 2014 at 1:51 PM, Carles Pagès page.li...@gmail.com wrote:

 I only started playing with bluetooth the other day and also relied on
 bluez5. Perhaps we could open an issue to track making bluez5 the default,
 with all that info?


 2014-04-11 19:34 GMT+02:00 Kirill Elagin kirela...@gmail.com:

 Speaking about KDE, looks like we need bluedevil = 2 and it's still RC1.

 From my experience it's pretty stable but probably we should wait…

 That's a pity, Bluez4 sucks so much!


 --
 Кирилл Елагин


 On Fri, Apr 11, 2014 at 9:28 PM, Kirill Elagin kirela...@gmail.comwrote:

 I'd like to upgrade to Bluez 5 since I have no idea how to control Bluez
 4 from the commandline.

 The bad news here is that Bluez 5 completely dropped support for
 microphones (that is, one
 can user his headset to play music, but not to talk). [1]

 That's why it would be nice to leave users some choice: Bluez 4 or 5.

 Also PA 5 is required to have BT audio playback with Bluez 5.
 It looks like PA 4 - 5 upgrade should be smooth.
 I could look into possibility of this upgrade but I'm not sure how to
 deal with
 systemd-related stuff in PA expression. It looks like currently
 PulseAudio is
 being built without systemd support for some reason.


   [1]: http://www.freedesktop.org/wiki/Software/PulseAudio/Notes/5.0/


 --
 Кирилл Елагин


 On Fri, Apr 11, 2014 at 9:14 PM, Aristid Breitkreuz 
 arist...@gmail.comwrote:

 PA 5 brings Bluez 5 audio, no idea how easy it is to get running.
 Am 11.04.2014 18:51 schrieb Kirill Elagin kirela...@gmail.com:

 Why? Audio profiles weren't working anyway (at least, for me)…


 --
 Кирилл Елагин


 On Fri, Apr 11, 2014 at 8:42 PM, Aristid Breitkreuz 
 arist...@gmail.com wrote:

 This would require a pulseaudio update.
 Am 11.04.2014 18:40 schrieb Kirill Elagin kirela...@gmail.com:

 Any news on that?

 I'm sure I've been using Bluez 5 with KDE 4.11.5 on my Gentoo laptop
 for quite some time.


 --
 Кирилл Елагин


 On Wed, Aug 28, 2013 at 12:02 AM, Aristid Breitkreuz 
 arist...@gmail.com wrote:

 It appears that KDE does not support Bluez 5 at this point, so this
 appears to be out of the question for now.


 2013/8/27 Aristid Breitkreuz arist...@gmail.com

 Hi!

 I'm currently updating packages, so Bluez5 works again. I believe
 it was not made the default way back when because it did not support 
 Kernel
 3.2, right? Well, now 3.4 is default so how about switching NixOS 
 over to
 Bluez5 (assuming I get it all to work...)?


 Cheers,

 Aristid



 ___
 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 mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev


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

2014-04-12 Thread Marco Maggesi
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 ${stdenv.glibc}/lib/ld-linux-x86-64.so.2
$(pwd)/../usr/lib/mlton/mlton-compile
So my question is, where I find the linker in nixpkgs on darwin?
I tried to grep the sources but I'm lost.
Thanks,
Marco

2014-04-11 20:08 GMT+02:00 Karn Kallio tierplusplusli...@skami.org:

 Hello,

 The current nixpkgs expression for mlton uses the mlton binary provided by
 mlton.org to bootstrap the compiler.  I don't think it will work for any
 platform other than Linux.  But I think mlton.org also distributes a
 binary
 for some other platforms besides Linux ... if there is one for your
 platform
 maybe you could get the expression to build using it.

 ___
 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] Compilation of MLton on darwin

2014-04-12 Thread Vladimír Čunát

On 04/12/2014 05:51 PM, Marco Maggesi wrote:

So my question is, where I find the linker in nixpkgs on darwin?


AFAIK we use the native linker on darwin (the impure one from host OS).
Therefore, I don't think we need to --set-interpreter on darwin.

Vlada




smime.p7s
Description: S/MIME Cryptographic Signature
___
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev


[Nix-dev] New NixOS module: grsecurity

2014-04-12 Thread Austin Seipp
Hello all,

(Sending to nix-dev as I imagine several users might be interested).

As of nixpkgs commit 172dc1336f108ee8, there is a new NixOS module
which greatly enhances support for the grsecurity project*. This is a
significant upgrade of the existing support (which was mostly just
kernel packages), and makes usage far easier and less error prone to
configure.

You can enable it by just specifying which kernel you want (stable,
stable+vserver patches, or testing), and the system configuration
(desktop or server):

security.grsecurity.enable  = true;
security.grsecurity.testing = true;  # testing 3.13 kernel
security.grsecurity.config.system   = desktop; # or server

This defaults to high-security enhancements, and auto-selects all the
appropriate configuration options and enabled protections. This
implies no virtualisation support, which is needed for all your
expected software functionality to work properly. For example, to
enable KVM support:

security.grsecurity.enable = true;
security.grsecurity.stable = true; # enable stable 3.2 kernel
security.grsecurity.config = {
  system   = server;
  priority = security;
  virtualisationConfig   = host;
  virtualisationSoftware = kvm;
  hardwareVirtualisation = true;
}

You can also use the 'custom' grsecurity configuration, in combination
with custom kernel options. See the options 'security.grsecurity.mode'
and 'security.grsecurity.config.kernelExtraConfig' for more
information.

At the moment, Hydra will not build packages for your grsec kernel. If
you enable it, you'll have to build it yourself. In the future, I hope
to alleviate this (perhaps by providing binary packages for
'pre-canned' automatic configurations).

At the moment, gradm's learning mode is broken, so be careful playing
with it. I hope to fix this soon.

I've been using this module with NixOps and deploying to multiple
Hetzner servers successfully for a month or two. (I suspect EC2 should
work fine as well).

Please do try it out - and be sure to keep a backup system
configuration for now, just in case something goes wrong.

Thanks to Ricardo Correia for review and feedback.

-

* For those who aren't familiar - quoting https://grsecurity.net

Grsecurity is an extensive security enhancement to the Linux kernel,
touching nearly 2000 files and composed of over 60,000 lines of
changes. It has been actively developed and maintained for the past 13
years. Grsecurity defends against a wide range of security threats
through intelligent access control, memory corruption-based exploit
prevention, and a host of other system hardening that generally
require no configuration.

-- 
Regards,
Austin - PGP: 4096R/0x91384671
___
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev


[Nix-dev] Cinnamon 2.2.0

2014-04-12 Thread Roelof Wobben
Hello,

I saw that in the last few hours everything of Cinnamon is updated to 2.2.0.

Is it wise to stay on the 2.0.14 version and update till everything is 
ported or it is wise to update everything to the new version and port 
that version.

Roelof

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


Re: [Nix-dev] Cinnamon 2.2.0

2014-04-12 Thread Mathijs Kwik
Roelof Wobben r.wob...@home.nl writes:

 Hello,

 I saw that in the last few hours everything of Cinnamon is updated to 2.2.0.

 Is it wise to stay on the 2.0.14 version and update till everything is 
 ported or it is wise to update everything to the new version and port 
 that version.

If the structure of the components did not change much, upgrading is
probably not much more than changing the hash and maybe adding an extra
dependency.

If it's more than that, you should probably complete 2.0.14 first.
Once everything is in a working state, it's much easier to upgrade and
assess it went OK. 





 Roelof

 ___
 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