| commit | 10d1d1ef71b1eb4415dcb4e6a0741357372d9f79 | [log] [tgz] |
|---|---|---|
| author | Thomas Vachuska <tom@onlab.us> | Sun Nov 20 09:18:18 2016 -0800 |
| committer | Thomas Vachuska <tom@onlab.us> | Sun Nov 20 09:18:18 2016 -0800 |
| tree | 638bb2a148f489aeaf59906fb2c19aeac0b6fce8 | |
| parent | 3030108b0a5438700728904bf15d54b6cb4da146 [diff] |
Added option to 'ok' alias to run sans buckd. Change-Id: Ie4ff3545d9d4716bce9a75515008416db5d3d40d
diff --git a/tools/dev/bash_profile b/tools/dev/bash_profile index 9fb5c14..3d825a6 100644 --- a/tools/dev/bash_profile +++ b/tools/dev/bash_profile
@@ -62,7 +62,7 @@ alias obi=deprecatedAlias alias obs=deprecatedAlias -alias ok='buck run onos-local --' +alias ok='NO_BUCKD=1 buck run onos-local --' alias oh='onos localhost halt' alias ol='onos-log'