Fabio's notes
Some notes (mainly linux related)
Saturday, May 26, 2012
grub
default os is in
/etc/default/grub
after editing,
sudo update-grub
No comments:
Post a Comment
Newer Post
Older Post
Home
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment