diff options
| author | Marina Latini <marina@studiostorti.com> | 2016-12-07 18:46:34 +0100 |
|---|---|---|
| committer | jan iversen <jani@documentfoundation.org> | 2016-12-08 10:01:50 +0000 |
| commit | 4f92098da726ec7afbbda54f2b21c29099b622af (patch) | |
| tree | 7eaea4494d3c536f190cb34b8028fd9bcd605325 /.git-hooks | |
| parent | d3c3f15c3266411266c461103f9098e426f42a80 (diff) | |
tdf#102784 - Enhance git pre-commit hook
This pre-commit hook prevents the commit of ui files with tooltip_markup property
Change-Id: I70d6f90fc36e782c290f35f0cc9415b9fa96495b
Signed-off-by: Marina Latini <marina@studiostorti.com>
Reviewed-on: https://gerrit.libreoffice.org/31735
Tested-by: Jenkins <ci@libreoffice.org>
Reviewed-by: Muhammet Kara <muhammet.kara@pardus.org.tr>
Tested-by: Muhammet Kara <muhammet.kara@pardus.org.tr>
Reviewed-by: jan iversen <jani@documentfoundation.org>
Diffstat (limited to '.git-hooks')
| -rwxr-xr-x | .git-hooks/pre-commit | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.git-hooks/pre-commit b/.git-hooks/pre-commit index e7b647eeef33..dc13d2a06521 100755 --- a/.git-hooks/pre-commit +++ b/.git-hooks/pre-commit @@ -88,6 +88,10 @@ sub check_whitespaces($) { bad_line("use font attributes instead of use-markup", $_, $src_limited); } + if (/<property name="tooltip_markup"/ ) + { + bad_line("use tooltip_text instead of tooltip_markup", $_, $src_limited); + } } } if ( $found_bad) |