diff options
| author | Daniel Baumann <daniel@debian.org> | 2007-09-27 06:52:52 +0200 |
|---|---|---|
| committer | Daniel Baumann <daniel@debian.org> | 2011-03-09 17:31:05 +0100 |
| commit | 73be0f36a5ee85317b2b9e94a0781cab9320a5ee (patch) | |
| tree | a61dedf1d7a018e6e45535e31888186a420ad538 /scripts | |
| parent | cc62ca76356dc851006e3fc980cc1dcc46ef9ca6 (diff) | |
| download | live-boot-73be0f36a5ee85317b2b9e94a0781cab9320a5ee.tar.gz live-boot-73be0f36a5ee85317b2b9e94a0781cab9320a5ee.zip | |
Fixing bashism.
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/live | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/live b/scripts/live index 76adec0..7a82f60 100755 --- a/scripts/live +++ b/scripts/live @@ -639,7 +639,7 @@ do_httpmount () mkdir -p "${mountpoint}/${LIVE_MEDIA_PATH}" wget "${FETCH}" -O "${mountpoint}/${LIVE_MEDIA_PATH}/$(basename ${FETCH})" [ ${?} -eq 0 ] && rc=0 - [ "${extension}" == "tgz" ] && live_dest="ram" + [ "${extension}" = "tgz" ] && live_dest="ram" ;; *) |