diff options
author | Richard Maw <richard.maw@codethink.co.uk> | 2013-06-11 01:25:10 +0000 |
---|---|---|
committer | Richard Maw <richard.maw@codethink.co.uk> | 2013-06-11 01:25:10 +0000 |
commit | f6563a218b32704e6f2aa72e8436db2e90d71f8e (patch) | |
tree | 928b3f0eeb166f30a5c14bd9aed694784ec95d37 /morphlib/plugins/deploy_plugin.py | |
parent | c757b9e553e0a9857d0d4575500ad09c55ef218d (diff) | |
download | morph-f6563a218b32704e6f2aa72e8436db2e90d71f8e.tar.gz |
deploy plugin: Use sh instead of bash for timestamping
This was left over from experimentation, it works with sh, and is
faster.
Diffstat (limited to 'morphlib/plugins/deploy_plugin.py')
-rw-r--r-- | morphlib/plugins/deploy_plugin.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/morphlib/plugins/deploy_plugin.py b/morphlib/plugins/deploy_plugin.py index 9950ce37..a0ead149 100644 --- a/morphlib/plugins/deploy_plugin.py +++ b/morphlib/plugins/deploy_plugin.py @@ -234,7 +234,7 @@ class DeployPlugin(cliapp.Plugin): name=name, kind=kind) self.app.runcmd( [ext_filename] + args, - ['bash', '-c', 'while read l; do echo `date "+%F %T"` $l; done'], + ['sh', '-c', 'while read l; do echo `date "+%F %T"` $l; done'], env=env, stdout=None, stderr=None) if delete_ext: |