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 >

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

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: > > I

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 expe