From c35bbc54251cdf47e0988a84215c02b4aad16bb8 Mon Sep 17 00:00:00 2001 From: Gaetan Semet Date: Wed, 24 Feb 2016 18:22:06 +0100 Subject: [PATCH] add grinpy aliases Signed-off-by: Gaetan Semet --- custom/plugins/buildbot_dev/buildbot_dev.plugin.zsh | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/custom/plugins/buildbot_dev/buildbot_dev.plugin.zsh b/custom/plugins/buildbot_dev/buildbot_dev.plugin.zsh index 8c893b532..6bfee9f72 100644 --- a/custom/plugins/buildbot_dev/buildbot_dev.plugin.zsh +++ b/custom/plugins/buildbot_dev/buildbot_dev.plugin.zsh @@ -63,6 +63,10 @@ alias update-to-next-version='do-release-upgrade' alias bing='notify-send "Stacked work finished" "Work being done in your favorite terminal is now finished. You can come back !!" -i /usr/share/pixmaps/apple-red.png -t 6000' alias b='bing' +alias grinpy="grin -I '*.py'" +alias grinyaml="grin -I '*.yaml'" +alias grinsh="grin -I '*.sh'" + function bb_env() { local BASE