Adding onos-buck file and buck alias
Change-Id: I548aade4802da87707d86c192e1800eb1edeb200
diff --git a/tools/dev/bash_profile b/tools/dev/bash_profile
index eb9024b..2951ea5 100644
--- a/tools/dev/bash_profile
+++ b/tools/dev/bash_profile
@@ -198,3 +198,9 @@
# Load UK topo GEO data
alias uktopo='onos-netcfg $OCI $ONOS_ROOT/tools/test/topos/uk-cfg.json'
+
+# Git annotated one-line log
+alias gil='git log --oneline --decorate=short'
+
+# Buck (if "buck" is not on the PATH)
+[ -z "$(which buck)" ] && alias buck="onos-buck"