Re: Use dedicated partition for /boot/grub instead of /boot

2014-08-19 Thread Joel Rees
2014/08/18 14:57 Christopher Chavez 2000...@gmail.com: (Please let me know if there's a better venue for collecting feedback for this idea, or additional ones I should solicit feedback from. I primarily use Ubuntu, but I assume this is as upstream as it gets.) Upstream relative to what? Boot

Re: Use dedicated partition for /boot/grub instead of /boot

2014-08-19 Thread Hendrik Boom
On Tue, Aug 19, 2014 at 09:45:03PM +0900, Joel Rees wrote: 2014/08/18 14:57 Christopher Chavez 2000...@gmail.com: Questions: 1. Is it the case that the only reason for having a separate /boot was to provide easy access /boot/grub? I.e., was it intentional to provide easy access to

Re: Use dedicated partition for /boot/grub instead of /boot

2014-08-18 Thread Hendrik Boom
On Mon, Aug 18, 2014 at 12:40:13AM -0500, Christopher Chavez wrote: 2. Would it be a better idea to only have /boot/grub, instead of /boot, on a separate partition? (I can confirm that it works both when installing and in existing setups, i.e. grub-install and update-grub both work as

Re: Use dedicated partition for /boot/grub instead of /boot

2014-08-18 Thread Ben Hutchings
On Mon, 2014-08-18 at 00:40 -0500, Christopher Chavez wrote: (Please let me know if there's a better venue for collecting feedback for this idea, or additional ones I should solicit feedback from. I primarily use Ubuntu, but I assume this is as upstream as it gets.) Background: It has

Use dedicated partition for /boot/grub instead of /boot

2014-08-17 Thread Christopher Chavez
(Please let me know if there's a better venue for collecting feedback for this idea, or additional ones I should solicit feedback from. I primarily use Ubuntu, but I assume this is as upstream as it gets.) Background: It has been discussed (in other venues) where a separate /boot partition (e.g.