~ubuntu-branches/ubuntu/trusty/grub2/trusty-updates

« back to all changes in this revision

Viewing changes to util/grub.d/00_header.in

• browse files at revision 1.1.8
• compare with another revision
• download diff
• download tarball
• view history from revision 1.1.8

Show diffs side-by-side

added

removed

util/grub.d/00_header.in

1

1

#! /bin/sh -e

2

2

 

3

3

# update-grub helper script.

4

 

# Copyright (C) 2006,2007  Free Software Foundation, Inc.

 

4

# Copyright (C) 2006,2007,2008  Free Software Foundation, Inc.

5

5

#

6

6

# GRUB is free software: you can redistribute it and/or modify

7

7

# it under the terms of the GNU General Public License as published by

24

24

# for convert_system_path_to_grub_path()

25

25

. ${libdir}/grub/update-grub_lib

26

26

 

 

27

# Do this as early as possible, since other commands might depend on it.

 

28

# (e.g. the `font' command might need lvm or raid modules)

 

29

for i in ${GRUB_PRELOAD_MODULES} ; do

 

30

  echo "insmod $i"

 

31

done

 

32

 

27

33

if [ "x${GRUB_DEFAULT}" = "x" ] ; then GRUB_DEFAULT=0 ; fi

28

34

if [ "x${GRUB_TIMEOUT}" = "x" ] ; then GRUB_TIMEOUT=5 ; fi

29

35

 

• Older »

Loggerhead is a web-based interface for Breezy
Version: 2.0.1