From 21c5aca40fb7e4328803b319b4cf7633b6bdb358 Mon Sep 17 00:00:00 2001 From: Diamantis Sellis Date: Mon, 20 Jan 2025 22:36:20 +0100 Subject: [PATCH 1/2] fix: avoid duplicate pages information Use set and then convert back to list in order to avoid duplicate page message --- tldr.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tldr.py b/tldr.py index 3749988..92e55cf 100755 --- a/tldr.py +++ b/tldr.py @@ -205,7 +205,7 @@ def get_platform() -> str: def get_platform_list() -> List[str]: - platforms = ['common'] + list(OS_DIRECTORIES.values()) + platforms = ['common'] + list(set(list(OS_DIRECTORIES.values()))) current_platform = get_platform() platforms.remove(current_platform) platforms.insert(0, current_platform) From 0829305559b16d48cec039882ecf5b48b45010f8 Mon Sep 17 00:00:00 2001 From: Diamantis Sellis Date: Tue, 21 Jan 2025 09:24:39 +0100 Subject: [PATCH 2/2] fix: remove unecessary casting to list --- tldr.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tldr.py b/tldr.py index 92e55cf..a960bb2 100755 --- a/tldr.py +++ b/tldr.py @@ -205,7 +205,7 @@ def get_platform() -> str: def get_platform_list() -> List[str]: - platforms = ['common'] + list(set(list(OS_DIRECTORIES.values()))) + platforms = ['common'] + list(set(OS_DIRECTORIES.values())) current_platform = get_platform() platforms.remove(current_platform) platforms.insert(0, current_platform)