blob: 7c8bcb9153a753c74ff60b09186c29b213d1da30 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
#!/usr/bin/env bash
set -e
function MakeTags {
${CODEROOT:?}/Omni/Ide/MakeTags.py
}
old=$1
new=$2
# filter out only the changed haskell files
mapfile -t changed < <(git diff --diff-filter=d --name-only "$old" "$new" -- '*.hs')
if [[ ! -r tags ]] || [[ ! -r TAGS ]]
then
MakeTags "$CODEROOT"/**/*
elif [[ ${#changed[@]} -gt 0 ]]
then
MakeTags "${changed[@]}"
fi
# Configure git merge driver for tasks
git config merge.agent.name "Agent Merge Driver" || true
git config merge.agent.driver "agent merge-driver %A %B" || true
# Task manager: Import tasks after branch switch
if [ -f .tasks/tasks.jsonl ]; then
task import -i .tasks/tasks.jsonl 2>/dev/null || true
fi
## START BRANCHLESS CONFIG
git branchless hook post-checkout "$@"
## END BRANCHLESS CONFIG
|
