Re: [ovs-dev] [PATCH 5/8] ovs-dev.py: rename ROOT to VARDIR

2015-09-30 Thread Andy Zhou
On Wed, Sep 30, 2015 at 4:54 PM, Joe Stringer wrote: > On 22 September 2015 at 17:51, Andy Zhou wrote: >> VARDIR seems to be a better name. >> >> Signed-off-by: Andy Zhou > > Personally I thought RUNDIR was a better name, since that's where > we're running it (and we're also installing, whereas

Re: [ovs-dev] [PATCH 5/8] ovs-dev.py: rename ROOT to VARDIR

2015-09-30 Thread Joe Stringer
On 22 September 2015 at 17:51, Andy Zhou wrote: > VARDIR seems to be a better name. > > Signed-off-by: Andy Zhou Personally I thought RUNDIR was a better name, since that's where we're running it (and we're also installing, whereas you don't usually install into /var) but I'm not going to ho

[ovs-dev] [PATCH 5/8] ovs-dev.py: rename ROOT to VARDIR

2015-09-22 Thread Andy Zhou
VARDIR seems to be a better name. Signed-off-by: Andy Zhou --- utilities/ovs-dev.py | 28 +++- 1 file changed, 15 insertions(+), 13 deletions(-) diff --git a/utilities/ovs-dev.py b/utilities/ovs-dev.py index 54989e6..82d946d 100755 --- a/utilities/ovs-dev.py +++ b/utilit