diff --git a/tools/dev/bash_profile b/tools/dev/bash_profile
index 821ee43..8389ff1 100644
--- a/tools/dev/bash_profile
+++ b/tools/dev/bash_profile
@@ -66,6 +66,7 @@
         env | egrep "OCI"
         env | egrep "OC[0-9]+" | sort
         env | egrep "OCN"
+        env | egrep "ONOS_" | egrep -v 'ONOS_ROOT|ONOS_CELL'
     fi
 }