Changeset 3722


Ignore:
Timestamp:
Oct 14, 2019, 12:03:38 AM (9 months ago)
Author:
Bruno Cornec
Message:

Now log /boot/grub2/grub.cfg if it exists

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/3.3/mindi/mindi

    r3714 r3722  
    32613261    LogFile "-------------"
    32623262fi
     3263if [ -r /boot/grub2/grub.cfg ]; then
     3264    LogFile "-------------"
     3265    LogFile "INFO: /boot/grub2/grub.cfg content"
     3266    LogFile "-------------"
     3267    cat /boot/grub2/grub.cfg >> $LOGFILE
     3268    LogFile "-------------"
     3269fi
    32633270if [ -r /boot/grub/device.map ]; then
    32643271    LogFile "-------------"
Note: See TracChangeset for help on using the changeset viewer.