Show an owner when grub is booting up
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Makefile 589B

123456789101112131415161718
  1. # Author: Bandie <bandie@chaospott.de>
  2. # Copyright: Bandie, 2019, GNU-GPLv3
  3. all:
  4. @echo "Nothing to make. Please run \"make install\"."
  5. @exit 0
  6. install:
  7. @echo "Installing grub-ownership..."
  8. install -vDm 755 etc/grub.d/000_ownership -t "$(PREFIX)/etc/grub.d/"
  9. @echo "Appending not existent config keys..."
  10. ./tools/grub_append_cfgkeys -i $(PREFIX)/etc/default/grub
  11. @echo "DONE!"
  12. uninstall:
  13. @echo "Remove grub-ownership..."
  14. rm $(PREFIX)/etc/grub.d/000_ownership
  15. @echo "Removing entries from config file..."
  16. ./tools/grub_append_cfgkeys -r $(PREFIX)/etc/default/grub
  17. @echo "DONE!"