diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/lib/devtool/deploy.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/lib/devtool/deploy.py b/scripts/lib/devtool/deploy.py index fb84f2dd08..c4c7bf6c73 100644 --- a/scripts/lib/devtool/deploy.py +++ b/scripts/lib/devtool/deploy.py | |||
| @@ -85,7 +85,7 @@ def _prepare_remote_script(deploy, verbose=False, dryrun=False, undeployall=Fals | |||
| 85 | lines.append('do') | 85 | lines.append('do') |
| 86 | lines.append(' checkpath=`dirname "$checkpath"`') | 86 | lines.append(' checkpath=`dirname "$checkpath"`') |
| 87 | lines.append('done') | 87 | lines.append('done') |
| 88 | lines.append('freespace=`df -P $checkpath | sed "1d" | awk \'{ print $4 }\'`') | 88 | lines.append(r'freespace=$(df -P $checkpath | sed -nre "s/^(\S+\s+){3}([0-9]+).*/\2/p")') |
| 89 | # First line of the file is the total space | 89 | # First line of the file is the total space |
| 90 | lines.append('total=`head -n1 $3`') | 90 | lines.append('total=`head -n1 $3`') |
| 91 | lines.append('if [ $total -gt $freespace ] ; then') | 91 | lines.append('if [ $total -gt $freespace ] ; then') |