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

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

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

(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

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

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

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

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

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

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