diff options
| author | Antoine Beaupré <anarcat@debian.org> | 2017-10-29 14:15:11 -0400 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2017-11-01 13:42:38 +0900 |
| commit | d1a7050f93768c10fa8c552ba62c3f86193d34c3 (patch) | |
| tree | 0914eeb0fdd3aed3eecb47370ef51069be8face0 | |
| parent | cb5918aa0d50f50e83787f65c2ddc3dcb10159fe (diff) | |
| download | git-ab/mediawiki-name-truncation.tar.gz | |
remote-mediawiki: limit filenames to legalab/mediawiki-name-truncation
mediawiki pages can have names longer than NAME_MAX (generally 255)
characters, which will fail on checkout. we simply strip out extra
characters, which may mean one page's content will overwrite another
(the last editing winning).
ideally, we would do a more clever system to find unique names, but
that would be more difficult and error prone for a situation that
should rarely happen in the first place.
Signed-off-by: Antoine Beaupré <anarcat@debian.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
| -rw-r--r-- | contrib/mw-to-git/Git/Mediawiki.pm | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/contrib/mw-to-git/Git/Mediawiki.pm b/contrib/mw-to-git/Git/Mediawiki.pm index d13c4dfa7d..917d9e2d32 100644 --- a/contrib/mw-to-git/Git/Mediawiki.pm +++ b/contrib/mw-to-git/Git/Mediawiki.pm @@ -2,6 +2,7 @@ package Git::Mediawiki; use 5.008; use strict; +use POSIX; use Git; BEGIN { @@ -52,7 +53,7 @@ sub smudge_filename { $filename =~ s/ /_/g; # Decode forbidden characters encoded in clean_filename $filename =~ s/_%_([0-9a-fA-F][0-9a-fA-F])/sprintf('%c', hex($1))/ge; - return $filename; + return substr($filename, 0, NAME_MAX-length('.mw')); } sub connect_maybe { |