Re: [Nix-dev] Remapping Console Key Bindings

[Rodney Lorrimar]

Hi Mark,

This is what I do for caps lock as control key:

# configuration.nix
i18n.consoleKeyMap = (pkgs.writeText "keys.map" ''
  keymaps 0-255
  keycode 58 = Control
'');

It works for the US keyboard layout. If you use another layout, you
might want to edit the output of dumpkeys ("kbd" package) yourself, and
load that file as i18n.consoleKeyMap.


Cheers,

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

[Nix-commits] [NixOS/nixpkgs] e00c61: gnused: Fix cross build after upgrade to 4.3.0

[Tuomas Tynkkynen]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: e00c61fd36d604585fb4285d270eca97a4a66262
  
https://github.com/NixOS/nixpkgs/commit/e00c61fd36d604585fb4285d270eca97a4a66262
  Author: Tuomas Tynkkynen 
  Date:   2017-01-14 (Sat, 14 Jan 2017)

  Changed paths:
M pkgs/tools/text/gnused/default.nix

  Log Message:
  ---
  gnused: Fix cross build after upgrade to 4.3.0

Fixes:

  GEN  doc/sed.1
help2man: can't get `--help' info from sed/sed
make[2]: *** [Makefile:5775: doc/sed.1] Error 126
make[2]: Leaving directory 
'/tmp/nix-build-gnused-4.3-arm-linux-gnueabihf.drv-0/sed-4.3'
make[1]: *** [Makefile:3024: all-recursive] Error 1
make[1]: Leaving directory 
'/tmp/nix-build-gnused-4.3-arm-linux-gnueabihf.drv-0/sed-4.3'
make: *** [Makefile:2156: all] Error 2


http://hydra.nixos.org/build/46051086/nixlog/11/raw


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

[Nix-commits] [NixOS/nixpkgs] 782e2f: google-talk-plugin: 5.41.0.0 -> 5.41.3.0

[Jörg Thalheim]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: 782e2fa807a5b5de2284b7e009105ed58d8a8e4e
  
https://github.com/NixOS/nixpkgs/commit/782e2fa807a5b5de2284b7e009105ed58d8a8e4e
  Author: Robert Helgesson 
  Date:   2017-01-13 (Fri, 13 Jan 2017)

  Changed paths:
M 
pkgs/applications/networking/browsers/mozilla-plugins/google-talk-plugin/default.nix

  Log Message:
  ---
  google-talk-plugin: 5.41.0.0 -> 5.41.3.0


  Commit: 40083709922eca7fd9da0ebffe79654fe6fb5f24
  
https://github.com/NixOS/nixpkgs/commit/40083709922eca7fd9da0ebffe79654fe6fb5f24
  Author: Jörg Thalheim 
  Date:   2017-01-14 (Sat, 14 Jan 2017)

  Changed paths:
M 
pkgs/applications/networking/browsers/mozilla-plugins/google-talk-plugin/default.nix

  Log Message:
  ---
  Merge pull request #21863 from rycee/bump/google-talk-plugin

google-talk-plugin: 5.41.0.0 -> 5.41.3.0


Compare: https://github.com/NixOS/nixpkgs/compare/d7dbbf5365ad...40083709922e___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] 0a3bd8: kubernetes-helm: 2.1.2 -> 2.1.3

[Jörg Thalheim]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: 0a3bd8164830d2dec76cd5d97e59497b548ea3b3
  
https://github.com/NixOS/nixpkgs/commit/0a3bd8164830d2dec76cd5d97e59497b548ea3b3
  Author: Richard Lupton 
  Date:   2017-01-13 (Fri, 13 Jan 2017)

  Changed paths:
M pkgs/applications/networking/cluster/helm/default.nix

  Log Message:
  ---
  kubernetes-helm: 2.1.2 -> 2.1.3


  Commit: d7dbbf5365ada4ff61b8468f49c3da6f7c4be275
  
https://github.com/NixOS/nixpkgs/commit/d7dbbf5365ada4ff61b8468f49c3da6f7c4be275
  Author: Jörg Thalheim 
  Date:   2017-01-14 (Sat, 14 Jan 2017)

  Changed paths:
M pkgs/applications/networking/cluster/helm/default.nix

  Log Message:
  ---
  Merge pull request #21867 from rlupton20/kubernetes-helm-v2.1.3

kubernetes-helm: 2.1.2 -> 2.1.3


Compare: https://github.com/NixOS/nixpkgs/compare/89dfe67f81ad...d7dbbf5365ad___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] 3d301e: isabelle: 2016 -> 2016-1

[Pascal Wittmann]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: 3d301e384efc96be25c1191ebc4eee2ab3cc12e2
  
https://github.com/NixOS/nixpkgs/commit/3d301e384efc96be25c1191ebc4eee2ab3cc12e2
  Author: Etienne Laurin 
  Date:   2017-01-11 (Wed, 11 Jan 2017)

  Changed paths:
M pkgs/applications/science/logic/isabelle/default.nix

  Log Message:
  ---
  isabelle: 2016 -> 2016-1


  Commit: 89dfe67f81addb0ffacbfa14079579c24c2a4530
  
https://github.com/NixOS/nixpkgs/commit/89dfe67f81addb0ffacbfa14079579c24c2a4530
  Author: Pascal Wittmann 
  Date:   2017-01-13 (Fri, 13 Jan 2017)

  Changed paths:
M pkgs/applications/science/logic/isabelle/default.nix

  Log Message:
  ---
  Merge pull request #21819 from AtnNn/isabelle

isabelle: 2016 -> 2016-1


Compare: https://github.com/NixOS/nixpkgs/compare/d760d922...89dfe67f81ad___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] ea7a8b: ckb: init at 0.2.6

[Pascal Wittmann]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: ea7a8bf2d990413685ec9ad2e4c4e24dad7aafa5
  
https://github.com/NixOS/nixpkgs/commit/ea7a8bf2d990413685ec9ad2e4c4e24dad7aafa5
  Author: Kier Davis 
  Date:   2017-01-12 (Thu, 12 Jan 2017)

  Changed paths:
A nixos/modules/hardware/ckb.nix
A pkgs/tools/misc/ckb/ckb-animations-location.patch
A pkgs/tools/misc/ckb/default.nix
M pkgs/top-level/all-packages.nix

  Log Message:
  ---
  ckb: init at 0.2.6

ckb is a driver for Corsair keyboards/mice. It also contains a graphical tool 
for configuring their LED backlight settings.

The driver is implemented as a userland daemon. A NixOS module is included that 
runs this as a systemd service.


  Commit: d760d922decda7bf1b4ea1c9037053b54cb2
  
https://github.com/NixOS/nixpkgs/commit/d760d922decda7bf1b4ea1c9037053b54cb2
  Author: Pascal Wittmann 
  Date:   2017-01-13 (Fri, 13 Jan 2017)

  Changed paths:
A nixos/modules/hardware/ckb.nix
A pkgs/tools/misc/ckb/ckb-animations-location.patch
A pkgs/tools/misc/ckb/default.nix
M pkgs/top-level/all-packages.nix

  Log Message:
  ---
  Merge pull request #21836 from kierdavis/ckb

ckb: init at 0.2.6


Compare: https://github.com/NixOS/nixpkgs/compare/0b8e3898705f...d760d922___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] 0ef8b6: top-level: Modernize stdenv.overrides giving it se...

[John Ericson]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: 0ef8b69d12d1ab1574568f5660b44feba1f44179
  
https://github.com/NixOS/nixpkgs/commit/0ef8b69d12d1ab1574568f5660b44feba1f44179
  Author: John Ericson 
  Date:   2017-01-13 (Fri, 13 Jan 2017)

  Changed paths:
M nixos/doc/manual/release-notes/rl-1703.xml
M pkgs/stdenv/darwin/default.nix
M pkgs/stdenv/generic/default.nix
M pkgs/stdenv/linux/default.nix
M pkgs/stdenv/native/default.nix
M pkgs/stdenv/nix/default.nix
M pkgs/top-level/stage.nix

  Log Message:
  ---
  top-level: Modernize stdenv.overrides giving it self and super

Document breaking change in 17.03 release notes


  Commit: 3e197f7d81130defacfe5bdad71ca5ebe63324ff
  
https://github.com/NixOS/nixpkgs/commit/3e197f7d81130defacfe5bdad71ca5ebe63324ff
  Author: John Ericson 
  Date:   2017-01-13 (Fri, 13 Jan 2017)

  Changed paths:
A pkgs/stdenv/booter.nix
M pkgs/stdenv/cross/default.nix
M pkgs/stdenv/custom/default.nix
M pkgs/stdenv/darwin/default.nix
M pkgs/stdenv/darwin/make-bootstrap-tools.nix
M pkgs/stdenv/default.nix
M pkgs/stdenv/freebsd/default.nix
M pkgs/stdenv/linux/default.nix
M pkgs/stdenv/native/default.nix
M pkgs/stdenv/nix/default.nix
M pkgs/top-level/default.nix
M pkgs/top-level/stage.nix

  Log Message:
  ---
  top-level: Normalize stdenv booting

Introduce new abstraction, `stdenv/booter.nix` for composing bootstraping
stages, and use it everywhere for consistency. See that file for more doc.

Stdenvs besides Linux and Darwin are completely refactored to utilize this.
Those two, due to their size and complexity, are minimally edited for
easier reviewing.

No hashes should be changed.


  Commit: 0f33b9f7f11e414ff6213359ec2859199a68d550
  
https://github.com/NixOS/nixpkgs/commit/0f33b9f7f11e414ff6213359ec2859199a68d550
  Author: David Grayson 
  Date:   2017-01-13 (Fri, 13 Jan 2017)

  Changed paths:
M pkgs/stdenv/cross/default.nix
M pkgs/top-level/stage.nix

  Log Message:
  ---
  top-level: Do stdenvOverrides in stage.nix even if crossSystem exists.

Instead, the cross stdenv will patch up the override field -- the complexity
is now confined to the one place it matters.


  Commit: 67ebd3161b82caf8a1ed30e0cd21dc7bb0177c35
  
https://github.com/NixOS/nixpkgs/commit/67ebd3161b82caf8a1ed30e0cd21dc7bb0177c35
  Author: John Ericson 
  Date:   2017-01-13 (Fri, 13 Jan 2017)

  Changed paths:
M pkgs/top-level/all-packages.nix
M pkgs/top-level/stage.nix

  Log Message:
  ---
  top-level: Inherit `system` and `platform` in stage.nix not all-packages.nix

These are not packages, and so its more elegant to do this outside of
all-packages.nix.


  Commit: 6a45e911c408bfd256531ba4d81bf8151f2f4df8
  
https://github.com/NixOS/nixpkgs/commit/6a45e911c408bfd256531ba4d81bf8151f2f4df8
  Author: John Ericson 
  Date:   2017-01-13 (Fri, 13 Jan 2017)

  Changed paths:
M pkgs/stdenv/linux/default.nix
M pkgs/top-level/all-packages.nix

  Log Message:
  ---
  linux stdenv: Utilize overrides and prevStage better

`gcc-unwrapped` basically replaces `gccPlain`. It may seem like an ugly
polution to stick it in all-packages, but a future PR will enshrine this
`*-unwrapped` pattern. In any event, the long term goal is stdenvs might
need to tweak how compilers are booted and wrapped, but the code to build
the unwrapped compilers themselves should be generic.


  Commit: b10f415c2172b3b89b7f93aa62c466fcef911d61
  
https://github.com/NixOS/nixpkgs/commit/b10f415c2172b3b89b7f93aa62c466fcef911d61
  Author: John Ericson 
  Date:   2017-01-13 (Fri, 13 Jan 2017)

  Changed paths:
M pkgs/stdenv/linux/default.nix

  Log Message:
  ---
  linux stdenv: Remove stray use of stage0 to bootstrap more elegantly


  Commit: ff355604602edb2d71e7fecaec4b3871ffc943e3
  
https://github.com/NixOS/nixpkgs/commit/ff355604602edb2d71e7fecaec4b3871ffc943e3
  Author: John Ericson 
  Date:   2017-01-13 (Fri, 13 Jan 2017)

  Changed paths:
M pkgs/stdenv/default.nix
M pkgs/stdenv/linux/default.nix

  Log Message:
  ---
  linux stdenv: Inline stage funs to conform to new convention

Code is just moved around


  Commit: abaf790ea915f826dff694afe032f081c0f5a510
  
https://github.com/NixOS/nixpkgs/commit/abaf790ea915f826dff694afe032f081c0f5a510
  Author: John Ericson 
  Date:   2017-01-13 (Fri, 13 Jan 2017)

  Changed paths:
M pkgs/stdenv/booter.nix

  Log Message:
  ---
  stdenv/booter.nix: Add longer note explaining indexing


  Commit: 0b8e3898705fb90096926469f60d06c3b3762cf7
  
https://github.com/NixOS/nixpkgs/commit/0b8e3898705fb90096926469f60d06c3b3762cf7
  Author: John Ericson 
  Date:   

[Nix-commits] [NixOS/nixpkgs] a65209: fetchurl: change to grep -E to fix #8561

[Vladimír Čunát]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: a652099c46ceffe4b578e49a9870dedee6232a0a
  
https://github.com/NixOS/nixpkgs/commit/a652099c46ceffe4b578e49a9870dedee6232a0a
  Author: Vladimír Čunát 
  Date:   2017-01-13 (Fri, 13 Jan 2017)

  Changed paths:
M pkgs/build-support/fetchurl/write-mirror-list.sh

  Log Message:
  ---
  fetchurl: change to grep -E to fix #8561

Close #21861.


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

[Nix-commits] [NixOS/nixpkgs] bc2e81: i3blocks: fix platforms

[Michael Raskin]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: bc2e81f6102e9f16fab845434db3e78100c86823
  
https://github.com/NixOS/nixpkgs/commit/bc2e81f6102e9f16fab845434db3e78100c86823
  Author: Michael Raskin <7c6f4...@mail.ru>
  Date:   2017-01-13 (Fri, 13 Jan 2017)

  Changed paths:
M pkgs/applications/window-managers/i3/blocks.nix

  Log Message:
  ---
  i3blocks: fix platforms


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

[Nix-commits] [NixOS/nixpkgs] 4e0a5e: nim: include all supporting tools

[Michael Raskin]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: 4e0a5e7602bd437e5c6be3f2405f49bfb3ff4f5a
  
https://github.com/NixOS/nixpkgs/commit/4e0a5e7602bd437e5c6be3f2405f49bfb3ff4f5a
  Author: Peter Hoeg 
  Date:   2017-01-12 (Thu, 12 Jan 2017)

  Changed paths:
M pkgs/development/compilers/nim/default.nix
R pkgs/development/tools/nimble/default.nix
M pkgs/top-level/all-packages.nix

  Log Message:
  ---
  nim: include all supporting tools

This PR makes a few changes to how things are done:

a) build and install "koch" - the nim make-type tool
b) use "koch" to bootstrap nim
c) build additional supporting tools such as nimble, nimgrep and nimsuggest
d) nim can use other c compilers than gcc, so instead of forcing gcc we use the 
one from stdenv
e) run the full test suite

We do not need the "nimble" package any longer as it is part of nim.


  Commit: 94b0ad124e7084de3e5bd8450f52558519ab06ee
  
https://github.com/NixOS/nixpkgs/commit/94b0ad124e7084de3e5bd8450f52558519ab06ee
  Author: Michael Raskin <7c6f4...@mail.ru>
  Date:   2017-01-13 (Fri, 13 Jan 2017)

  Changed paths:
M pkgs/development/compilers/nim/default.nix
R pkgs/development/tools/nimble/default.nix
M pkgs/top-level/all-packages.nix

  Log Message:
  ---
  Merge pull request #21846 from peterhoeg/f/nim

nim: include all supporting tools


Compare: https://github.com/NixOS/nixpkgs/compare/f30a854844b2...94b0ad124e70___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] 32f991: i3blocks: specify supported platforms

[Michael Raskin]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: 32f991f0948c15df474addf977dc6a579a5efc4a
  
https://github.com/NixOS/nixpkgs/commit/32f991f0948c15df474addf977dc6a579a5efc4a
  Author: Birger J. Nordølum 
  Date:   2017-01-13 (Fri, 13 Jan 2017)

  Changed paths:
M pkgs/applications/window-managers/i3/blocks.nix

  Log Message:
  ---
  i3blocks: specify supported platforms


  Commit: f30a854844b24b9c2ece4fa9cca6956c6a14e1cd
  
https://github.com/NixOS/nixpkgs/commit/f30a854844b24b9c2ece4fa9cca6956c6a14e1cd
  Author: Michael Raskin <7c6f4...@mail.ru>
  Date:   2017-01-13 (Fri, 13 Jan 2017)

  Changed paths:
M pkgs/applications/window-managers/i3/blocks.nix

  Log Message:
  ---
  Merge pull request #21858 from MindTooth/tweak_i3blocks

i3blocks: specify supported platforms


Compare: https://github.com/NixOS/nixpkgs/compare/15d36c1f0e1b...f30a854844b2___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] 15d36c: spotify: 1.0.45 -> 1.0.47 (#21856)

[Niclas Thall]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: 15d36c1f0e1b649f24e0ace1bb4461d5f05d9e1c
  
https://github.com/NixOS/nixpkgs/commit/15d36c1f0e1b649f24e0ace1bb4461d5f05d9e1c
  Author: Niclas Thall 
  Date:   2017-01-13 (Fri, 13 Jan 2017)

  Changed paths:
M pkgs/applications/audio/spotify/default.nix

  Log Message:
  ---
  spotify: 1.0.45 -> 1.0.47 (#21856)


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

[Nix-commits] [NixOS/nixpkgs] 3cbc64: minikube: 0.13.1 -> 0.15.0

[Maarten Hoogendoorn]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: 3cbc64d5bb9f3f2a386409e87b924a35ddcd16e8
  
https://github.com/NixOS/nixpkgs/commit/3cbc64d5bb9f3f2a386409e87b924a35ddcd16e8
  Author: Maarten Hoogendoorn 
  Date:   2017-01-13 (Fri, 13 Jan 2017)

  Changed paths:
M pkgs/applications/networking/cluster/minikube/default.nix

  Log Message:
  ---
  minikube: 0.13.1 -> 0.15.0


  Commit: af299d94ebc383b391dc58f165f40e8b4e25897a
  
https://github.com/NixOS/nixpkgs/commit/af299d94ebc383b391dc58f165f40e8b4e25897a
  Author: Maarten Hoogendoorn 
  Date:   2017-01-13 (Fri, 13 Jan 2017)

  Changed paths:
M pkgs/applications/networking/cluster/minikube/default.nix

  Log Message:
  ---
  minikube: disable shell autocompletion; causes impurities.

Apparently the the generation of auto completion files depends on a
network connection. My `nix-build --pure` failed because of this.
Disabled autocompletion for now, given that minikube prints out lots of
documentaton if you provide partial commands.


Compare: https://github.com/NixOS/nixpkgs/compare/a6cd5cdc15bc...af299d94ebc3___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] 74846b: prometheus-blackbox-exporter: 0.3.0 -> 0.4.0

[Robin Gloster]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: 74846b2c717e9fdf3f04ec6109b0411b092dfdd9
  
https://github.com/NixOS/nixpkgs/commit/74846b2c717e9fdf3f04ec6109b0411b092dfdd9
  Author: Robin Gloster 
  Date:   2017-01-13 (Fri, 13 Jan 2017)

  Changed paths:
M pkgs/servers/monitoring/prometheus/blackbox-exporter.nix

  Log Message:
  ---
  prometheus-blackbox-exporter: 0.3.0 -> 0.4.0


  Commit: a6cd5cdc15bc4cf549c256315ab99917929f14a3
  
https://github.com/NixOS/nixpkgs/commit/a6cd5cdc15bc4cf549c256315ab99917929f14a3
  Author: Robin Gloster 
  Date:   2017-01-13 (Fri, 13 Jan 2017)

  Changed paths:
R pkgs/servers/monitoring/prometheus/cli.nix
R pkgs/servers/monitoring/prometheus/cli_deps.nix
M pkgs/top-level/all-packages.nix

  Log Message:
  ---
  prometheus-cli: remove due to pkg being obsolete


Compare: https://github.com/NixOS/nixpkgs/compare/e2be232c6543...a6cd5cdc15bc___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] e2be23: perlPackages.CompressRawBzip2: 2.064 -> 2.070

[Robin Gloster]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: e2be232c65432d8e543be80b1ba67756c389ab10
  
https://github.com/NixOS/nixpkgs/commit/e2be232c65432d8e543be80b1ba67756c389ab10
  Author: Robin Gloster 
  Date:   2017-01-13 (Fri, 13 Jan 2017)

  Changed paths:
M pkgs/top-level/perl-packages.nix

  Log Message:
  ---
  perlPackages.CompressRawBzip2: 2.064 -> 2.070


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

Re: [Nix-dev] NixOS on (Android) Tablet

[Maarten Hoogendoorn]

You might want to look at Ubuntu Phone, which borrows heavily from the
Android kernel, but actually exposes a full Ubuntu system.
As a first step, you could look into running Ubuntu Phone, with nix
side-loaded.

Futhermore, there is some discussion in
https://github.com/NixOS/nixpkgs/issues/21222 on how to build Android with
nix.

2017-01-12 21:37 GMT+01:00 Matthias Beyer :

> Hi community.
>
> I just ordered a XIDO Z120 Tablet with the idea to try to get NixOS on
> it working, over the next few months, ... as an early summer-project.
>
> If you have _any_ input, I would highly value some short notes how to
> do it!
>
> I will, of course, publish the results of my research on my blog and
> notify this list about it!
>
> --
> Mit freundlichen Grüßen,
> Kind regards,
> Matthias Beyer
>
> Proudly sent with mutt.
> Happily signed with gnupg.
>
> ___
> 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-commits] [NixOS/nixpkgs] 4c1703: nvi: fix linking with ncurses

[Michael Raskin]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: 4c1703786c82898281c815b7958a896a12340306
  
https://github.com/NixOS/nixpkgs/commit/4c1703786c82898281c815b7958a896a12340306
  Author: Scott R. Parish 
  Date:   2017-01-11 (Wed, 11 Jan 2017)

  Changed paths:
M pkgs/applications/editors/nvi/default.nix

  Log Message:
  ---
  nvi: fix linking with ncurses


  Commit: fbe3a9c2290c2cc2e25e5252ed754b805db33c92
  
https://github.com/NixOS/nixpkgs/commit/fbe3a9c2290c2cc2e25e5252ed754b805db33c92
  Author: Michael Raskin <7c6f4...@mail.ru>
  Date:   2017-01-13 (Fri, 13 Jan 2017)

  Changed paths:
M pkgs/applications/editors/nvi/default.nix

  Log Message:
  ---
  Merge pull request #21827 from srp/nvi

nvi: link against libncurses as there is no libcurses


Compare: https://github.com/NixOS/nixpkgs/compare/aa5fe24540b0...fbe3a9c2290c___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] eeda59: pythonPackages.daphne: 0.15.0 -> 1.0.1

[Michael Raskin]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: eeda593de45ca095db982d0d30b7a6d79a4cdb14
  
https://github.com/NixOS/nixpkgs/commit/eeda593de45ca095db982d0d30b7a6d79a4cdb14
  Author: Lancelot SIX 
  Date:   2017-01-12 (Thu, 12 Jan 2017)

  Changed paths:
M pkgs/top-level/python-packages.nix

  Log Message:
  ---
  pythonPackages.daphne: 0.15.0 -> 1.0.1


  Commit: 8b8bba90b7ce4a2224b247c0d9af4a7e95fcb16f
  
https://github.com/NixOS/nixpkgs/commit/8b8bba90b7ce4a2224b247c0d9af4a7e95fcb16f
  Author: Lancelot SIX 
  Date:   2017-01-12 (Thu, 12 Jan 2017)

  Changed paths:
M pkgs/top-level/python-packages.nix

  Log Message:
  ---
  pythonPackages.channels: 0.17.3 -> 1.0.1


  Commit: aa5fe24540b00800859b507deb32c938d80523ed
  
https://github.com/NixOS/nixpkgs/commit/aa5fe24540b00800859b507deb32c938d80523ed
  Author: Michael Raskin <7c6f4...@mail.ru>
  Date:   2017-01-13 (Fri, 13 Jan 2017)

  Changed paths:
M pkgs/top-level/python-packages.nix

  Log Message:
  ---
  Merge pull request #21831 from lsix/update_python_channels

Update python channels


Compare: https://github.com/NixOS/nixpkgs/compare/740d857b5cb9...aa5fe24540b0___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] 90b364: i3blocks: search for config in correct system dire...

[Michael Raskin]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: 90b3648f9c36f4f078ed6d0ff3682fe88ddf663a
  
https://github.com/NixOS/nixpkgs/commit/90b3648f9c36f4f078ed6d0ff3682fe88ddf663a
  Author: Kier Davis 
  Date:   2017-01-12 (Thu, 12 Jan 2017)

  Changed paths:
M pkgs/applications/window-managers/i3/blocks.nix

  Log Message:
  ---
  i3blocks: search for config in correct system directory

The SYSCONFDIR variable used in the Makefile servers two purposes:

1) During buildPhase, it is hardcoded into the executable as one of
   the locations that will be searched for the i3blocks.conf config
   file. We want this set to "/etc", so that "/etc/i3blocks.conf"
   will be automatically loaded if it exists, as specified in the
   manpage.

2) During installPhase, it specifies the location that the sample
   i3blocks.conf should be installed to. We want this to be "$out/etc".

Case 2 was already handled correctly, but case 1 was not. This resulted
in i3blocks instead searching for i3blocks.conf in the default value of
SYSCONFDIR, which is "/usr/local/etc", a directory which generally does
not exist on NixOS. This commit remedies this problem by setting
SYSCONFDIR=/etc during buildPhase.

A minor stylistic fix (correcting a usage of "makeFlags" to "buildFlags"
in the expression) has also been applied in this commit.


  Commit: 740d857b5cb9adb68e267c01ffcca408986ba669
  
https://github.com/NixOS/nixpkgs/commit/740d857b5cb9adb68e267c01ffcca408986ba669
  Author: Michael Raskin <7c6f4...@mail.ru>
  Date:   2017-01-13 (Fri, 13 Jan 2017)

  Changed paths:
M pkgs/applications/window-managers/i3/blocks.nix

  Log Message:
  ---
  Merge pull request #21839 from kierdavis/i3blocks-sysconfdir

i3blocks: search for config in correct system directory


Compare: https://github.com/NixOS/nixpkgs/compare/ee966005a7ad...740d857b5cb9___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] 03ca1a: nix: 1.11.4 -> 1.11.5

[Eelco Dolstra]

  Branch: refs/heads/release-16.09
  Home:   https://github.com/NixOS/nixpkgs
  Commit: 03ca1a94cfc5c8fabc5538a0ea461d839c12f221
  
https://github.com/NixOS/nixpkgs/commit/03ca1a94cfc5c8fabc5538a0ea461d839c12f221
  Author: Eelco Dolstra 
  Date:   2017-01-13 (Fri, 13 Jan 2017)

  Changed paths:
M nixos/modules/installer/tools/nix-fallback-paths.nix
M pkgs/tools/package-management/nix/default.nix

  Log Message:
  ---
  nix: 1.11.4 -> 1.11.5

(cherry picked from commit 0108c31e22ea9500c8f81da436e8756cefec83ed)


  Commit: b83c7ecd8a85052510624dc3304d8e30dc36b1c1
  
https://github.com/NixOS/nixpkgs/commit/b83c7ecd8a85052510624dc3304d8e30dc36b1c1
  Author: Eelco Dolstra 
  Date:   2017-01-13 (Fri, 13 Jan 2017)

  Changed paths:
M nixos/modules/installer/tools/nix-fallback-paths.nix
M pkgs/tools/package-management/nix/default.nix

  Log Message:
  ---
  nix: 1.11.5 -> 1.11.6

(cherry picked from commit 96b69689500e96364abe35fdd6ed324eee5e462f)


Compare: https://github.com/NixOS/nixpkgs/compare/0f5862810298...b83c7ecd8a85___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] 71aad4: xournal: Support gtk backend quartz on darwin

[Michael Raskin]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: 71aad4c494838090c3703263b4d4afa9ee965bca
  
https://github.com/NixOS/nixpkgs/commit/71aad4c494838090c3703263b4d4afa9ee965bca
  Author: Johannes Bornhold 
  Date:   2017-01-12 (Thu, 12 Jan 2017)

  Changed paths:
M pkgs/applications/graphics/xournal/default.nix
A pkgs/applications/graphics/xournal/gdk-quartz-backend.patch

  Log Message:
  ---
  xournal: Support gtk backend quartz on darwin


  Commit: ee966005a7adfb3cb86fe310d1abe3bdf4946d44
  
https://github.com/NixOS/nixpkgs/commit/ee966005a7adfb3cb86fe310d1abe3bdf4946d44
  Author: Michael Raskin <7c6f4...@mail.ru>
  Date:   2017-01-13 (Fri, 13 Jan 2017)

  Changed paths:
M pkgs/applications/graphics/xournal/default.nix
A pkgs/applications/graphics/xournal/gdk-quartz-backend.patch

  Log Message:
  ---
  Merge pull request #21842 from johbo/darwin-xournal-quartz

xournal: Support gtk with quartz or x11 backend


Compare: https://github.com/NixOS/nixpkgs/compare/96b69689500e...ee966005a7ad___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [***SPAM***] [NixOS/nix]

[edolstra]

  Branch: refs/tags/1.11.6
  Home:   https://github.com/NixOS/nix
___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] 96b696: nix: 1.11.5 -> 1.11.6

[Eelco Dolstra]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: 96b69689500e96364abe35fdd6ed324eee5e462f
  
https://github.com/NixOS/nixpkgs/commit/96b69689500e96364abe35fdd6ed324eee5e462f
  Author: Eelco Dolstra 
  Date:   2017-01-13 (Fri, 13 Jan 2017)

  Changed paths:
M nixos/modules/installer/tools/nix-fallback-paths.nix
M pkgs/tools/package-management/nix/default.nix

  Log Message:
  ---
  nix: 1.11.5 -> 1.11.6


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

[Nix-commits] [NixOS/nixpkgs] ea0f8f: yuicompressor: add bin wrapper for jar

[Michael Raskin]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: ea0f8fbd5306776e3e31b4ee849188bfd67fa11d
  
https://github.com/NixOS/nixpkgs/commit/ea0f8fbd5306776e3e31b4ee849188bfd67fa11d
  Author: Christopher League 
  Date:   2017-01-12 (Thu, 12 Jan 2017)

  Changed paths:
M pkgs/development/tools/yuicompressor/default.nix

  Log Message:
  ---
  yuicompressor: add bin wrapper for jar

yuicompressor is a JavaScript and CSS minifier, distributed as a jar
file. This change uses `makeWrapper` to create a corresponding bin
script, adding `jre` as a dependency.


  Commit: c5ebc057fd3244d9200b1355685c4020cba73f25
  
https://github.com/NixOS/nixpkgs/commit/c5ebc057fd3244d9200b1355685c4020cba73f25
  Author: Michael Raskin <7c6f4...@mail.ru>
  Date:   2017-01-13 (Fri, 13 Jan 2017)

  Changed paths:
M pkgs/development/tools/yuicompressor/default.nix

  Log Message:
  ---
  Merge pull request #21848 from league/yuicompressor-bin

yuicompressor: add bin wrapper for jar


Compare: https://github.com/NixOS/nixpkgs/compare/65b397bf8c7f...c5ebc057fd32___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] b91fa0: syncthing: remove runtime dependency on go

[Michael Raskin]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: b91fa0f47765b05c11bad9b4327e9cd8389a87ef
  
https://github.com/NixOS/nixpkgs/commit/b91fa0f47765b05c11bad9b4327e9cd8389a87ef
  Author: Linus Heckemann 
  Date:   2017-01-13 (Fri, 13 Jan 2017)

  Changed paths:
M pkgs/applications/networking/syncthing/default.nix

  Log Message:
  ---
  syncthing: remove runtime dependency on go

The hack used here is shamelessly stolen from buildGoPackage. If it is
going to be applied to more expressions, it may make sense to factor it
out so it can be shared.


  Commit: 65b397bf8c7f10653e66990ad01c0f71b17c9745
  
https://github.com/NixOS/nixpkgs/commit/65b397bf8c7f10653e66990ad01c0f71b17c9745
  Author: Michael Raskin <7c6f4...@mail.ru>
  Date:   2017-01-13 (Fri, 13 Jan 2017)

  Changed paths:
M pkgs/applications/networking/syncthing/default.nix

  Log Message:
  ---
  Merge pull request #21852 from lheckemann/remove-syncthing-go-dep

syncthing: remove runtime dependency on go


Compare: https://github.com/NixOS/nixpkgs/compare/77f2ebd47d2e...65b397bf8c7f___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] 80ea1c: rr: 4.3.0 -> 4.4.0

[Michael Raskin]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: 80ea1c0631d6ea5cca3340fb04367e68f2c280be
  
https://github.com/NixOS/nixpkgs/commit/80ea1c0631d6ea5cca3340fb04367e68f2c280be
  Author: Aneesh Agrawal 
  Date:   2017-01-13 (Fri, 13 Jan 2017)

  Changed paths:
M pkgs/development/tools/analysis/rr/default.nix

  Log Message:
  ---
  rr: 4.3.0 -> 4.4.0


  Commit: 77f2ebd47d2ed3dcbec0fbd15d756f697f1d5a6a
  
https://github.com/NixOS/nixpkgs/commit/77f2ebd47d2ed3dcbec0fbd15d756f697f1d5a6a
  Author: Michael Raskin <7c6f4...@mail.ru>
  Date:   2017-01-13 (Fri, 13 Jan 2017)

  Changed paths:
M pkgs/development/tools/analysis/rr/default.nix

  Log Message:
  ---
  Merge pull request #21849 from aneeshusa/update-rr-to-4.4.0

rr: 4.3.0 -> 4.4.0


Compare: https://github.com/NixOS/nixpkgs/compare/b8b783221978...77f2ebd47d2e___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nix] 1fa2c8: Bump version to 1.11.6

[Eelco Dolstra]

  Branch: refs/heads/1.11-maintenance
  Home:   https://github.com/NixOS/nix
  Commit: 1fa2c86db50af806916d72e76f10bef39dd65e7d
  
https://github.com/NixOS/nix/commit/1fa2c86db50af806916d72e76f10bef39dd65e7d
  Author: Eelco Dolstra 
  Date:   2017-01-13 (Fri, 13 Jan 2017)

  Changed paths:
M version

  Log Message:
  ---
  Bump version to 1.11.6


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

Re: [Nix-dev] Typing nix − funding campaign

[Théophane Hufschmitt]

Hi Peter,

Well... That's not exactly how things happened.

First I have to amend myself, my sentence is indeed inexact, it should
have been "The inference algorithm that is *likely* going to be used is no
trivial at all to implement".

The story is that I first discussed with one of my teachers (Didier
Remy, an OCaml core developer and expert on ML type system) about the
opportunity to try typing nix. After some explanations about the
language, it was clear that Hindley-Milner style type inference was
clearly not possible (because of things like the presence of types at
runtime and predicates such as `isInt` or `isString` which fundamentally
break unification). So he asked me to think on how a type system for
nix could look like, and after reflexion, I came up with something that
was roughly the basis of Guiseppe Castagna's − my actual advisor − work
(note that at this time I didn't know at all about his research). That's
why he redirected me to him, and his works are gonna be the main axis
for my work.

But the goal isn't of course to try to apply it regardless of the
alternatives, and that's why the first two months will be devoted for a
large part to the study of the state of the art to determine the best
system to use.

Fri 13 Jan 17 − 10:10, Peter Simons(sim...@nospf.cryp.to) a écrit:
> Hi Théophane,
> 
>  > The inference algorithm that is going to be used is no trivial at all
>  > to implement.
> 
> my understanding now is that your thesis adviser has invented (or
> significantly contributed to) a new type system, and the purposes of
> your project is to test that particular system in practice using Nix as
> a case study so that you can gain insights into the nature of that type
> system and find possibilities to extend it.
> 
> In other words, there is no way the outcome of your research will be
> something like "Hindley-Milner works great for Nix and all you need is
> the following minor changes to the language to allow for explicit type
> annotations". That's not going to happen, because you'll never examine
> whether Hindley-Milner would, in fact, be sufficient for our purposes.
> 
> Is that a fair description of the reality?
> 
> Best regards,
> Peter
> 
> ___
> nix-dev mailing list
> nix-dev@lists.science.uu.nl
> http://lists.science.uu.nl/mailman/listinfo/nix-dev

-- 
Théophane Hufschmitt


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] [***SPAM***] Re: Typing nix − fundingcampaign

[Michael Raskin]

>> Have you considered making nix-instantiate --parse-only work with --xml 
>> like --eval-only does? May reduce the total effort needed (if it turns
>> out to be reasonably simple)
>
>I haven't, but it is worth considerating, indeed (but I fear that it
>would require some modifications to the nix parser in order to be
>useful for me). If nothing more, this could be a good way to test my
>parser against the official one.

For testing it can even be useful without adding XML output: 
--parse-only puts some parenthesis here and there, simplifies/unifies
some fancy parts of the syntax, etc. If you parse the code before and
after such processing to ASTs that are not obviously equal, you have
a good regression test case (after you fix the bug).



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

Re: [Nix-dev] Typing nix − funding campaign

[Peter Simons]

Hi Théophane,

 > The inference algorithm that is going to be used is no trivial at all
 > to implement.

my understanding now is that your thesis adviser has invented (or
significantly contributed to) a new type system, and the purposes of
your project is to test that particular system in practice using Nix as
a case study so that you can gain insights into the nature of that type
system and find possibilities to extend it.

In other words, there is no way the outcome of your research will be
something like "Hindley-Milner works great for Nix and all you need is
the following minor changes to the language to allow for explicit type
annotations". That's not going to happen, because you'll never examine
whether Hindley-Milner would, in fact, be sufficient for our purposes.

Is that a fair description of the reality?

Best regards,
Peter

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

Re: [Nix-dev] Typing nix − funding campaign

[Théophane Hufschmitt]

Thu 12 Jan 17 − 21:18, Thomas Hunger(tehun...@gmail.com) a écrit:
> Hi,
> 
> For my own curiosity: Is your adviser's work online somewhere?
> 

Hi,

All its publications are on his personal page at https://www.irif.fr/~gc/

The current work is yet unreleased, but there is a demo of some possible
things at http://www.cduce.org/ocaml/bi

-- 
Théophane Hufschmitt


signature.asc
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] Typing nix − funding campaign

[Théophane Hufschmitt]

Hi Maarten,

I plan to rely heavily on Eelco's thesis for rewriting the spécifications, but 
it will need a serious update because of the changes that happened to the 
language.

Integration into an ide is a long term goal, but this is probably not gonna 
happen anytime soon. (but using types to enhance documentation is of course 
planned)

Le 12 janvier 2017 15:50:18 UTC+01:00, Maarten Hoogendoorn  
a écrit :
>Interesting idea.
>
>Note that Eelco's phd thesis about nix contains a formal definition of
>both
>the syntax and semantics the language.
>The whole thesis is well written and approachable.
>
>Potential other benefits from a deeper analysis could include:
>- generation of better documentation for helper functions
>- or even IDE features like jump to definition
>
>
>2017-01-12 14:13 GMT+01:00 Théophane Hufschmitt :
>
>> Hi,
>>
>> I am Théophane Hufschmitt, a french master degree CS student, and I
>> wish to start a six month length internship on giving nix a type
>> system.
>>
>> Numtide offered to fund a part of the internship, but we still need
>> some help for me to be able to start it.
>>
>> The goal of the internship is to design (and implement) a type system
>> for nix in order to be able to statically get some guaranties about
>> the well-foundness of the nixpkgs repo (or any nix expression), in
>> complement to hydra or travis tests which may let some
>inconsistencies
>> pass − especially on nixos module system which is way harder to test.
>>
>> Providing nix with a proper type system is a long running issue (see
>> https://github.com/NixOS/nix/issues/14), and I think a huge
>> opportunity for nix to improve its awesomeness.
>>
>> The crowdfunding campaign (and a slightly more detailled description
>of
>> the project) is open at https://www.gofundme.com/typing-nix, and you
>> are all invited to donate.
>>
>> Of course, I'll be happy to answer any question, by mail or on
>> irc/matrix (I am regnat[m] on freenode).
>>
>> --
>> Théophane Hufschmitt
>>
>> ___
>> 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] Typing nix − funding campaign

[Théophane Hufschmitt]

Thu 12 Jan 17 − 15:31, Peter Simons(sim...@nospf.cryp.to) a écrit:
> Hi Théophane,
> 
>  > https://www.gofundme.com/typing-nix
> 
> I see that you plan to spend approx. 2 months (a third of the entire
> project's time) on developing a parser for Nix. Why do you feel that
> this is necessary, considering that there is a parser for Nix already?
> 
> The notion of working with a separate implementation worries me because
> I see the danger that your efforts are going to exist in a parallel
> universe which won't be possible to merge back into Nix proper.
> 
> Or, to put it differently, does your project even have the goal of
> providing a working implementation for Nix? Or is it more about
> exploring the design space for type systems that Nix could potentially
> use?
> 
> Best regards,
> Peter

Hi Peter,

The two months are not just for formalizing the syntax and writing the
parser, but also (and mostly) for bibliography.

I agree with your concerns about the separate implementation.
The reason for this is related to your third paragraph. The inference
algorithm that is going to be used is no trivial at all to implement,
and my advisor already has done a lot of work on this that could be
reused, but written in OCaml, and we agreed that writing and
maintaining a parser it was far easier than reimplementing what he
already had done, and that it would be too hard to ship a usable
product in a few month without using it.

Regarding the goal of the project, it will be focused on providing a
working implementation for nix (although that will of course first
require exploring the possibilities for a type system for nix). There
is enough theorical work to come up with something usable (and useful)
for a langaige such as nix.

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