
<html><head><style type='text/css'>p { margin: 0; }</style></head><body><div style='font-family: Times New Roman; font-size: 12pt; color: #000000'>If you have something that breaks every, or almost every, time you update your kernel, like I have VMware Workstation, and you're ruining <span>Ubuntu, you may find these changes help fuel.<br><br>$ cat /etc/default/grub | grep -i SAVED<br>GRUB_DEFAULT='saved'<br>GRUB_SAVEDEFAULT='true'<br><br><br><span name="x"></span>--<br>David L. Willson<br>Trainer, Engineer, Enthusiast<br>RHCE Network+ A+ Linux+ LPIC-1 Ubuntu<br>Mobile 720-333-LANS(5267)<br><br>This is a good time for a r3VOLution.<span name="x"></span><br></span><br></div></body></html>