From a7ed703d2d983b0b7fd796fba60a2592e9edd262 Mon Sep 17 00:00:00 2001 From: Luke Shumaker Date: Wed, 15 Jun 2016 15:55:08 -0400 Subject: remove non-tool stuff --- misc/git-shell-commands/help | 12 ------------ 1 file changed, 12 deletions(-) delete mode 100755 misc/git-shell-commands/help (limited to 'misc/git-shell-commands/help') diff --git a/misc/git-shell-commands/help b/misc/git-shell-commands/help deleted file mode 100755 index f1d116b..0000000 --- a/misc/git-shell-commands/help +++ /dev/null @@ -1,12 +0,0 @@ -#!/bin/sh -# * help -# Obtiene los comando habilitados -# ssh git@host help - -set -e - -# Gets the initial comment after the shebeng from every git-shell-command -for c in "$(dirname "$0")"/*; do - sed -rn '2,/^[^#]/s/^# ?//p' "$c" - echo -done -- cgit v1.2.3-54-g00ecf