Ci sono molti pacchetti che hanno grub nei loro nomi e parte del GRUB (il caricatore di avvio Grand Unified). Quelli che sono installati sul mio sistema sono -
- grub-common
- grub-emu
- grub-pc
- grub-pc-bin
- grub-theme-Starfield
- grub2
- grub2-comuni
- Grub 2-splashimages
L'ho guardato prima per vedere se si tratta di un file con link simbolico o di un file normale -
[$] ll -h /etc/default/grub
-rw-r--r-- 1 root root 1.2K 2017-01-22 14:16 /etc/default/grub
Ho dato un'occhiata ma non sono riuscito a trovare nulla che mi dica da dove proviene questo file?
[$] dpkg -S /etc/default/grub
dpkg-query: no path found matching pattern /etc/default/grub
O
[$] dpkg-query -W /etc/default/grub
dpkg-query: no packages found matching /etc/default/grub