From de55b0c79859ae73b3befe8bb728109ca90b254e Mon Sep 17 00:00:00 2001 From: Gaetan Semet Date: Thu, 3 Mar 2016 15:28:33 +0100 Subject: [PATCH] new grin alias Signed-off-by: Gaetan Semet --- custom/plugins/buildbot_dev/buildbot_dev.plugin.zsh | 1 + 1 file changed, 1 insertion(+) diff --git a/custom/plugins/buildbot_dev/buildbot_dev.plugin.zsh b/custom/plugins/buildbot_dev/buildbot_dev.plugin.zsh index 6bfee9f72..731434595 100644 --- a/custom/plugins/buildbot_dev/buildbot_dev.plugin.zsh +++ b/custom/plugins/buildbot_dev/buildbot_dev.plugin.zsh @@ -66,6 +66,7 @@ alias b='bing' alias grinpy="grin -I '*.py'" alias grinyaml="grin -I '*.yaml'" alias grinsh="grin -I '*.sh'" +alias grinlog="grin -I '*.log'" function bb_env() {