Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: eec5775a4cbe8fec60eb7991129e1f1ae048222f
https://github.com/NixOS/nixpkgs/commit/eec5775a4cbe8fec60eb7991129e1f1ae048222f
Author: Philipp Steinpass <phil...@xndr.de>
Date: 2017-04-11 (Tue, 11 Ap
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 01e5b8527dacfb61319dcdc2178ec6aed7f7f3c5
https://github.com/NixOS/nixpkgs/commit/01e5b8527dacfb61319dcdc2178ec6aed7f7f3c5
Author: Philipp <phil...@xndr.de>
Date: 2017-02-15 (Wed, 15 Feb 2017)
C
Branch: refs/heads/release-16.09
Home: https://github.com/NixOS/nixpkgs
Commit: 8f6f46e8e1c9d1524bee2807ed7dffc18c8b835f
https://github.com/NixOS/nixpkgs/commit/8f6f46e8e1c9d1524bee2807ed7dffc18c8b835f
Author: Philipp Hausmann <phile...@users.noreply.github.com>
Date: 2
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 632282300a9ecbdd8506554aa04c516c64994c84
https://github.com/NixOS/nixpkgs/commit/632282300a9ecbdd8506554aa04c516c64994c84
Author: Philipp Hausmann <phile...@users.noreply.github.com>
Date: 2016-11-0
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 5c3a6d6802548418539c912a27323d795f33efb0
https://github.com/NixOS/nixpkgs/commit/5c3a6d6802548418539c912a27323d795f33efb0
Author: Philipp <phil...@xndr.de>
Date: 2016-10-20 (Thu, 20 Oct 2016)
C
the
GithubStatus plugin and could give me a hint? How do I configure the plugin?
Cheers,
Philipp
___
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev
I could switch to per shell instance with nix-{shell,env}, but I
> also found references to a deprecated buildEnv function for this. What is
> the common alternative for this?
>
The old wiki has a guide for that.
https://nixos.org/wiki/Development_Environments#Making_a_Persistent_nix-sh
of
that. Kind of like the Haskell packages.
I'm certainly interested in how you're solving this problems and I will
keep an eye on it, maybe I can steal some of your work and use it for
Agda ;-)
Cheers, Philipp
> Hi! I've tried to start this discussion a couple times on IRC, but it
> hasn't
