Fix compatibility of build_theme.sh with Dash

Authored by gepardo on Oct 15 2019, 7:49 PM.

Description

Fix compatibility of build_theme.sh with Dash

Summary:
The script build_sh didn't work with Dash necause of "[[". When running it, I got the following:

$ ./build_theme.sh
Installing into /home/gepardo/.local/share/themes/Breeze
./build_theme.sh: 111: [[: not found
cp: cannot create directory '': No such file or directory

Test Plan: After changing "[[" to "[", it worked fine and installed the theme

Reviewers: cblack, svuorela

Reviewed By: cblack, svuorela

Subscribers: plasma-devel

Tags: Plasma

Differential Revision: https://phabricator.kde.org/D24447

Details

Committed
cblackOct 15 2019, 7:50 PM
Reviewer
cblack
Differential Revision
D24447: Fix compatibility of build_theme.sh with Dash
Parents
R98:72f5cd46bbff: Update version number for 5.17.80 GIT_SILENT
Branches
Unknown
Tags
Unknown