Rotsor

Failed to check file system type of "/boot": No such file or directory

10

I tried running this on Ubuntu 15.10. This was the error message, looks like it came from the last step in nixos-install. Now, perhaps I was doomed because I think...

UEFI support

5

If the system boots using UEFI we need to mount /sys/firmware/efi/efivars and /boot. /boot must be pointing to a EFI System Partition, which we can find using fdisk.

Name collision between fields and parameters in struct declaration

1

### Prerequisites * [x] Put an X between the brackets on this line if you have done all of the following: * Checked that your issue isn't already [filed](https://github.com/leanprover/lean/issues). *...

The current 254-character limit on the size of the output seems arbitrary and not useful. If the limit is to be kept (e.g. because it needs https://github.com/kelseyhightower/echo/issues/3 to be fixed...