[Nix-dev] cleaning up old configurations

2016-11-21 Thread Henning Thielemann
Another beginners question ... I am confused: The NixOS boot menu shows a list of 17 configurations. I want to remove some of them in order to free some space on the NixOS partition. I try $ sudo nix-env --list-generations 12 2015-08-30 11:20:39 19 2015-12-22 11:50:11 20

[Nix-dev] changing /etc/inputrc

2015-08-30 Thread Henning Thielemann
I am still learning NixOS ... I want to alter /etc/inputrc this way: \e[5~: beginning-of-history \e[6~: end-of-history --- \e[5~: history-search-backward \e[6~: history-search-forward but inputrc is a symlink to nix-store and I guess that it is not a good idea to alter that one, but

Re: [Nix-dev] NixOS installation on multi-boot system with GRUB

2015-08-30 Thread Henning Thielemann
On Sat, 29 Aug 2015, 宋文武 wrote: Indeed, I think nixos-install should create the grub.cfg without touch the MBR when you set 'boot.loader.grub.device' to nodev. You need modify your main grub.cfg (the Ubuntu one) to add a NixOS menuentry with 'chainloader' or 'configfile'. Ok, I succeeded

Re: [Nix-dev] NixOS installation on multi-boot system with GRUB

2015-08-30 Thread Henning Thielemann
On Sun, 30 Aug 2015, Nicolas Pierron wrote: On Sun, Aug 30, 2015 at 10:19 AM, Henning Thielemann lemm...@henning-thielemann.de wrote: Ok, I succeeded with the configfile approach. However I have to run nixos-install twice in order to eventually get a grub.cfg. I have in /etc/nixos

Re: [Nix-dev] How to add yourself as a maintainer for Haskell packages

2015-08-28 Thread Henning Thielemann
On Fri, 28 Aug 2015, Peter Simons wrote: You have to do two things to enlist yourself as a maintainer: - Add your e-mail address to [1]. - Add your maintainer id to [2] and list all the packages you'd like to subscribe to. I like to use that service but I have about 100 packages at

Re: [Nix-dev] NixOS installation on multi-boot system with GRUB

2015-08-28 Thread Henning Thielemann
On Thu, 27 Aug 2015, 宋文武 wrote: I think you can: install NixOS's GRUB to its boot partitation, then add a 'chainloader' menu entry to your main GRUB (installed into MBR by Ubuntu). I did this with btrfs (ext4 did't work for me): boot.loader.grub.device = /dev/sdaX; (sdaX is the boot or

[Nix-dev] NixOS installation on multi-boot system with GRUB

2015-08-27 Thread Henning Thielemann
I like to install NixOS it to an individual partition on my machine. I used the graphical installation DVD and the first problem I got is that the touchpad of my machine is ignored. Unfortunately I do not know how to control KDE/plasma with keys. An external USB mouse solved that problem for