diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-09-09 12:58:18 +0100 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-09-09 12:58:18 +0100 |
commit | 36003b3a5e9e4e10ef12279f6a46c2d6e4f9ec08 (patch) | |
tree | e4004ecfeda7cf1b39209e0b532367f01606439f /reproduce/software/shell/configure.sh | |
parent | 6ecb670f0a7b56e0aaffffda70925e93e51e6e9e (diff) | |
parent | 11b11e93fbdb29be69a936950438ed1cbea34a11 (diff) |
Imported recent important fixes in Maneage, no conflicts
There weren't any conflicts in this merge.
Diffstat (limited to 'reproduce/software/shell/configure.sh')
-rwxr-xr-x | reproduce/software/shell/configure.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/reproduce/software/shell/configure.sh b/reproduce/software/shell/configure.sh index 0d22dcc..d9a1b46 100755 --- a/reproduce/software/shell/configure.sh +++ b/reproduce/software/shell/configure.sh @@ -188,7 +188,7 @@ check_permission () free_space_warning() { fs_threshold=$1 - IFS='"' fs_destpath="$2" + fs_destpath="$2" return $(df "$fs_destpath" \ | awk 'FNR==2 {if($4>'$fs_threshold') print 1; \ else print 0; }') @@ -873,7 +873,7 @@ EOF # manipulate file permissions in the directory's filesystem and if # so, see if there is atleast 5GB free space. if ! [ x"$bdir" = x ]; then - if ! $(IFS='"' check_permission "$bdir"); then + if ! $(check_permission "$bdir"); then # Unable to handle permissions well bdir= echo " ** File permissions can't be modified in this directory" |