Ian Gulliver
|
02b7f46dd2
|
Merge update_grub into client
|
2016-05-10 00:23:04 +00:00 |
|
Ian Gulliver
|
e5dd8820b8
|
Plumb volume ID through to grub menu
|
2016-05-09 20:40:38 +00:00 |
|
Ian Gulliver
|
33dc9983b3
|
Set grub hotkeys
|
2016-03-31 12:18:00 -07:00 |
|
Ian Gulliver
|
058d38c6a8
|
Set default
|
2016-03-31 11:14:58 -07:00 |
|
Ian Gulliver
|
980fe40023
|
Syntax
|
2016-03-31 11:12:35 -07:00 |
|
Ian Gulliver
|
4aa2bb0753
|
Order, timeout
|
2016-03-31 11:12:02 -07:00 |
|
Ian Gulliver
|
5e30443b61
|
Executable
|
2016-03-31 11:09:43 -07:00 |
|
Ian Gulliver
|
d6fc80cd88
|
Initial update_grub
|
2016-03-31 11:09:16 -07:00 |
|