Oder versuche einmal:
mkinitcpio -P
Und dann:
sudo update-grub
Ich verwende zwar keine Debian basierten Distri's, aber normalerweise müsste der Befehl auch unter mInt funktionieren.
Oder versuche einmal:
mkinitcpio -P
Und dann:
sudo update-grub
Ich verwende zwar keine Debian basierten Distri's, aber normalerweise müsste der Befehl auch unter mInt funktionieren.