]> git.ipfire.org Git - thirdparty/grub.git/commit
projects / thirdparty / grub.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 775b284) | patch
* util/grub-install.in: Add --grub-editenv option.
authorAndrey Borzenkov <arvidjaar@gmail.com>
Sun, 22 Sep 2013 17:47:52 +0000 (21:47 +0400)
committerAndrey Borzenkov <arvidjaar@gmail.com>
Sun, 22 Sep 2013 17:47:52 +0000 (21:47 +0400)
commitd68d01573b7212b986214067cf2d1a3f938438cb
tree73222ef6830ccbe1e782ac371edd2455ee61740atree
parent775b284dd62d96630d2983f648bd0deb87a42a4ccommit | diff
* util/grub-install.in: Add --grub-editenv option.
* util/grub-install_header (grub_compress_file): Explicitly check for
plain file to avoid cp error.
ChangeLog diff | blob | blame | history
util/grub-install.in diff | blob | blame | history
util/grub-install_header diff | blob | blame | history
Mirror of https://git.savannah.gnu.org/git/grub.git