diff options
Diffstat (limited to 'Biz/Ide')
-rwxr-xr-x | Biz/Ide/ftags.sh | 23 | ||||
-rwxr-xr-x | Biz/Ide/init_tags.sh | 13 | ||||
-rwxr-xr-x | Biz/Ide/post-checkout | 28 | ||||
-rwxr-xr-x | Biz/Ide/post-merge | 2 |
4 files changed, 52 insertions, 14 deletions
diff --git a/Biz/Ide/ftags.sh b/Biz/Ide/ftags.sh index daa4ca0..2687e9a 100755 --- a/Biz/Ide/ftags.sh +++ b/Biz/Ide/ftags.sh @@ -2,17 +2,12 @@ # ftags - search ctags set -euo pipefail tags=$BIZ_ROOT/tags -if [[ ! -e $tags ]] -then - fast-tags -R $BIZ_ROOT -else - line=$( - awk 'BEGIN { FS="\t" } !/^!/ {print toupper($4)"\t"$1"\t"$2"\t"$3}' $tags \ - | cut -c1-80 \ - | fzf --nth=1,2 - ) - ${EDITOR:-vim} \ - $(cut -f3 <<< "$line") \ - -c "set nocst" \ - -c "silent tag $(cut -f2 <<< "$line")" -fi +tag_search=$( + awk 'BEGIN { FS="\t" } !/^!/ {print toupper($4)"\t"$1"\t"$2"\t"$3}' $tags \ + | cut -c1-80 \ + | fzf --nth=1,2 +) +${EDITOR:-vim} \ + $(cut -f3 <<< "$tag_search") \ + -c "set nocst" \ + -c "silent tag $(cut -f2 <<< "$tag_search")" diff --git a/Biz/Ide/init_tags.sh b/Biz/Ide/init_tags.sh new file mode 100755 index 0000000..10e9c85 --- /dev/null +++ b/Biz/Ide/init_tags.sh @@ -0,0 +1,13 @@ +#!/usr/bin/env bash +# fast-tags wrapper to generate tags automatically if there are none. + +flags=( + --fully-qualified +) +fns=$@ +if [[ ! -r tags ]]; then + echo Generating tags from scratch... + exec fast-tags $flags -R . +else + exec fast-tags $flags $fns +fi diff --git a/Biz/Ide/post-checkout b/Biz/Ide/post-checkout new file mode 100755 index 0000000..5474b5a --- /dev/null +++ b/Biz/Ide/post-checkout @@ -0,0 +1,28 @@ +#!/usr/bin/env bash +set -eu + +# Path to wherever you put this. +init_tags=$BIZ_ROOT/Biz/Ide/init_tags.sh + +old=$1 +new=$2 +# is_branch=$2 # 1 if branch, 2 if file + +# filter out only the changed files +changed=($(git diff --name-only $old $new)) + +if [[ ! -r tags ]] +then + $init_tags +elif [[ ${#changed} -gt 0 ]] +then + grep -v -F --regexp=${^changed} $BIZ_ROOT/tags > $BIZ_ROOT/tags.tmp + mv tags.tmp tags + + # Retag all hs files except the ones that were deleted. + modified=($(git diff --name-only --diff-filter=d $old $new)) + # Filter *.hs, since grep returns non-zero for no matches. + modified=(${(M)modified:#*.hs}) + echo "modified: $modified" + $init_tags $modified +fi diff --git a/Biz/Ide/post-merge b/Biz/Ide/post-merge new file mode 100755 index 0000000..624e797 --- /dev/null +++ b/Biz/Ide/post-merge @@ -0,0 +1,2 @@ +#!/usr/bin/env bash +exec $BIZ_ROOT/Biz/Ide/post-checkout 'HEAD@{1}' HEAD |