Joined: 18 Sep 2003
Location: Modena, Italy
|Posted: Thu Aug 19, 2004 11:00 am Post subject: grubeditor: modify the grub.conf from the shell
|grubeditor by "Cagnulein"
grubeditor is a tool that allows you to change the grub.conf directly from the shell. It usefull when you have a bash script that have to modify the grub.conf (a makekernel script ).
Help is avaiable launching:
|./grubeditor.py --help |
there are 3 actions avaiable:
a simple create command could be:
|./grubeditor.py -c --title=NewTitile --root=NewRoot --initrd=NewInitrd --kernel=kernel |
this command create a new profile called newtitle at the end of the grub file
a simple modify command could be:
|./grubeditor.py --modify=1 --title=newTitle |
this command modify the second profile chaning the title with newTitle
a simple erase command could be:
|./grubeditor.py --erase=1 |
this command erase the second profile in the grub.conf
Rember: It's a test version!
anyway a backup file will be created on every execution of this program
P.S. Sorry for my poor english but I'm italian