Re: [PATCH master] Merge ganeti-master-cleaner back into ganeti-cleaner

[Iustin Pop]

On Mon, Oct 08, 2012 at 05:41:23AM +0200, Michael Hanselmann wrote:
> 2012/10/6 Iustin Pop <ius...@google.com>:
> > +if [ "$#" -ne 1 ]; then
> 
> Use [[/]].
> 
> Rest LGTM, I think.

Thanks, interdiff:


diff --git a/daemons/ganeti-cleaner.in b/daemons/ganeti-cleaner.in
index 13b984c..75cf5f0 100644
--- a/daemons/ganeti-cleaner.in
+++ b/daemons/ganeti-cleaner.in
@@ -30,7 +30,7 @@ usage() {
     exit $1
 }
 
-if [ "$#" -ne 1 ]; then
+if [[ "$#" -ne 1 ]]; then
   usage 1
 fi

-- 
iustin