diff options
| author | Dieter Plaetinck <dieter@plaetinck.be> | 2008-11-03 22:18:58 +0100 |
|---|---|---|
| committer | Dieter Plaetinck <dieter@plaetinck.be> | 2008-11-03 22:18:58 +0100 |
| commit | 5b465259884a4522894efc7b9b037c9da1ca3a70 (patch) | |
| tree | f8e6c7c965b68379c4865bd10cd708770f1c31fe | |
| parent | 6835292c015be39be8338e1c178513ea9f8dfd60 (diff) | |
log which bootloader was chosen
| -rw-r--r-- | src/core/procedures/interactive | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/core/procedures/interactive b/src/core/procedures/interactive index 8ff5776..70fd6a1 100644 --- a/src/core/procedures/interactive +++ b/src/core/procedures/interactive @@ -251,6 +251,7 @@ worker_select_mirror () worker_install_bootloader () { bl=`tr '[:upper:]' '[:lower:]' <<< "$1"` + log "User picked bootloader $1..." [ "$1" = grub ] && interactive_install_grub && S_BOOT=grub [ "$1" != grub ] && S_BOOT="$1" } |