diff options
| author | Daniel Baumann <daniel@debian.org> | 2012-08-14 20:50:43 +0200 |
|---|---|---|
| committer | Daniel Baumann <daniel@debian.org> | 2012-08-14 20:50:43 +0200 |
| commit | 67853178ea148fb146b417b335252258233c9e10 (patch) | |
| tree | 114622aa5c4998a501c26786e3bebc89ee80fd2c | |
| parent | cdece4c8e50051e790d657b1ff9f090ed4737907 (diff) | |
| download | live-boot-67853178ea148fb146b417b335252258233c9e10.tar.gz live-boot-67853178ea148fb146b417b335252258233c9e10.zip | |
Reading configuration file from filesystem and live-media at runtime too.
| -rwxr-xr-x | scripts/boot.sh | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/scripts/boot.sh b/scripts/boot.sh index c031f00..11e8094 100755 --- a/scripts/boot.sh +++ b/scripts/boot.sh @@ -2,6 +2,16 @@ # set -e +# Reading configuration file from filesystem and live-media +for _FILE in /etc/live/boot.conf /etc/live/boot/* \ + /live/image/live/boot.conf /live/image/live/boot/* +do + if [ -e "${_FILE}" ] + then + . "${_FILE}" + fi +done + for _SCRIPT in /lib/live/boot/????-* do if [ -e "${_SCRIPT}" ] |