mirror of
https://github.com/LadybirdBrowser/ladybird.git
synced 2024-11-22 07:30:19 +00:00
Meta: Enforce no leading zeros for emoji filenames
The current lookup code and emoji.txt generator expects codepoints to not include leading zeros. This may change in the future, but it's worth enforcing the current convention until then.
This commit is contained in:
parent
5297c22eaa
commit
9d14ed6c14
Notes:
sideshowbarker
2024-07-17 07:39:59 +09:00
Author: https://github.com/squeek502 Commit: https://github.com/SerenityOS/serenity/commit/9d14ed6c14 Pull-request: https://github.com/SerenityOS/serenity/pull/15036
1 changed files with 4 additions and 0 deletions
|
@ -17,6 +17,10 @@ for fn in "${files[@]}"; do
|
||||||
echo "$fn contains invalid characters in its filename. Only uppercase letters, numbers, +, and _ should be used."
|
echo "$fn contains invalid characters in its filename. Only uppercase letters, numbers, +, and _ should be used."
|
||||||
found_invalid_filenames=1
|
found_invalid_filenames=1
|
||||||
fi
|
fi
|
||||||
|
if [[ $basename == *U+0* ]] ; then
|
||||||
|
echo "$fn contains codepoint(s) with leading zeros. Leading zeros should be removed from codepoint(s)."
|
||||||
|
found_invalid_filenames=1
|
||||||
|
fi
|
||||||
if [[ $basename == *+U* ]] ; then
|
if [[ $basename == *+U* ]] ; then
|
||||||
echo "$fn is incorrectly named. _ should be used as a separator between codepoints, not +."
|
echo "$fn is incorrectly named. _ should be used as a separator between codepoints, not +."
|
||||||
found_invalid_filenames=1
|
found_invalid_filenames=1
|
||||||
|
|
Loading…
Reference in a new issue