Ticket #3303

grub_dirも変更できるようにして欲しい
Eröffnet am: 2003-11-10 13:38 Letztes Update: 2003-11-10 17:18

Auswertung:
Verantwortlicher:
Status:
Geschlossen
Komponente:
(Keine)
Meilenstein:
(Keine)
Priorität:
5 - Mittel
Schweregrad:
5 - Mittel
Lösung:
Keine
Datei:
Keine

Details

/etc/grubmenu.conf の grub_dir という項目は、
初回grubmenu --config起動時に自動で検出・設定されますが、
これも root_dev や grub_root_dev と同様に
変更できるようにして頂けないでしょうか。

grub_dirが(現在のシステムの)/boot/grubではないシステムも
レアですが実在しますので…。

Ticket-Verlauf (1/1 Historien)

2003-11-10 17:18 Aktualisiert von: kaepapa
  • Ticket Close date is changed to 2003-11-10 17:18
  • Status Update from Offen to Geschlossen
Kommentar
Logged In: YES
user_id=3854

メリットデメリットを考慮して検討しましたが
レアケースであることからこういったケースは
grubmenu.confの手修正でご対応ください

Dateianhangliste

Keine Anhänge

Bearbeiten

You are not logged in. I you are not logged in, your comment will be treated as an anonymous post. » Anmelden