diff --git a/tools/dev/bash_profile b/tools/dev/bash_profile
index cd6778f..7279ebe 100644
--- a/tools/dev/bash_profile
+++ b/tools/dev/bash_profile
@@ -45,6 +45,7 @@
 alias obs='onos-build-selective'
 alias obd='onos-build-docs'
 alias op='onos-package'
+alias ok='onos-karaf'
 alias ot='onos-test'
 alias ol='onos-log'
 alias ow='onos-watch'