blob: 99f59729e279b1d6aa277f3b255927a1df6ad769 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
#!/bin/bash
make messages.po > /dev/null 2>&1
# This monstrosity asks how many lines changed, but it ignores changes to the
# "POT-Creation-Date" line. In other words, if all that's changed is the
# "POT-Creation-Date", don't bother adding messages.po
lines_changed=$(git -c difftool.ignorepot.cmd='diff -u -I "POT-Creation-Date" "$LOCAL" "$REMOTE"' difftool -t ignorepot -y messages.po | wc -l)
if [ "$lines_changed" = 0 ]; then
git checkout messages.po
else
git add messages.po
fi
|
