Merge pull request #873 from topimiettinen/fix-developer-profile

Fix developer profile
This commit is contained in:
Michael Boelen 2020-03-21 13:50:03 +01:00 committed by GitHub
commit 1bb35b86b8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 3 additions and 0 deletions

View File

@ -98,6 +98,7 @@ unset LANG
DEBSUMSBINARY=""
DEVELOPER_MODE=0
DEVOPS_MODE=0
DIGBINARY=""
DISABLED_PLUGINS=""
DISCOVERED_BINARIES=""
DMIDECODEBINARY=""
@ -148,6 +149,7 @@ unset LANG
LOCATEBINARY=""
LOGFILE=""
LOGDIR=""
LOGROTATEBINARY=""
LOGTEXT=1
LSMODBINARY=""
LSOFBINARY=""

View File

@ -669,6 +669,7 @@
LogText "Result: found ${FOUND_VMLINUZ}"
fi
VERSION_ON_DISK=""
if [ -L "${FOUND_VMLINUZ}" ]; then
LogText "Result: found a symlink, retrieving destination"
FOUND_VMLINUZ=$(readlink "${FOUND_VMLINUZ}")