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"