From b1b296dbd1b36c0033ffc8aff832e7b2ff49c5cc Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?John=20Ankarstr=C3=B6m?= Date: Thu, 26 May 2022 22:59:28 +0200 Subject: Support padded episode numbers in local episode names. --- pl/local_episodes.pl | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) (limited to 'pl/local_episodes.pl') diff --git a/pl/local_episodes.pl b/pl/local_episodes.pl index 935e3b7..0273bb3 100644 --- a/pl/local_episodes.pl +++ b/pl/local_episodes.pl @@ -14,12 +14,18 @@ local_episode_prefix --> string(_), "detective_conan_". nondigit --> [C], !, { \+ code_type(C, digit) }. nondigit --> []. +zeroes --> "0". +zeroes --> "0", zeroes. + +paddedint(N) --> integer(N). +paddedint(N) --> zeroes, integer(N). + local_episode --> local_episode(_). local_episode(N) --> - local_episode_prefix, integer(N), nondigit, string(_). + local_episode_prefix, paddedint(N), nondigit, string(_). local_episode(N) --> - local_episode_prefix, integer(First), "-", integer(Last), nondigit, string(_), + local_episode_prefix, paddedint(First), "-", paddedint(Last), nondigit, string(_), { Second is First + 1, between(Second, Last, N) }. % Find episode on disk. -- cgit v1.2.3