diff options
author | Markus Seeber <markus.seeber@spectralbird.de> | 2017-11-30 13:28:44 +0100 |
---|---|---|
committer | Markus Seeber <markus.seeber@spectralbird.de> | 2017-11-30 13:43:56 +0100 |
commit | 5d17c6aac3c6a48b8c8bcd906372bcd779751fe3 (patch) | |
tree | cd0efe9086d1b62afc36efc9083fd4169ddda1f0 /tools | |
parent | c91a7c4263ea17a24ec132636973873fdcae3c03 (diff) |
Fix error when $PATH contains whitespaces
Previously, if $PATH contains whitespaces the startup script would split
the new exported $PATH on the first whitespace. This was observed on an
Ubuntu system where $PATH contained a directory with whitespaces.
The change adds weak quotation around the new path to prevent expansion
of whitespaces. $PATH though, is still expanded.
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/linux_packaging/build | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/linux_packaging/build b/tools/linux_packaging/build index 830b4d2ef7..59294a26de 100755 --- a/tools/linux_packaging/build +++ b/tools/linux_packaging/build @@ -252,7 +252,7 @@ fi # jack in the places where it might be # -echo export 'PATH=/usr/local/bin:/opt/bin:$PATH' >> $ENVIRONMENT +echo export 'PATH="/usr/local/bin:/opt/bin:$PATH"' >> $ENVIRONMENT # create startup helper script if test -d $BUILD_ROOT/vst; then |