From a90fcbaf49f034dcc0aa8215294de28efa7f8338 Mon Sep 17 00:00:00 2001
From: dnns01 <git@dnns01.de>
Date: Sun, 8 Sep 2024 15:42:06 +0200
Subject: [PATCH] make `public` an optional argument
---
extensions/module_information.py | 9 +++++----
1 file changed, 5 insertions(+), 4 deletions(-)
diff --git a/extensions/module_information.py b/extensions/module_information.py
index f3b3948..a5a478d 100644
--- a/extensions/module_information.py
+++ b/extensions/module_information.py
@@ -172,10 +172,11 @@ class ModuleInformation(commands.Cog):
@app_commands.command(name="module",
description="Erhalte die Modulinformationen von der Uniwebseite.")
- @app_commands.describe(public="Sichtbarkeit der Ausgabe: für alle Mitglieder oder nur für dich.",
- topic="Möchtest du eine bestimmte Rubrik abrufen?",
- module_nr="Nummer des Moduls, das dich interessiert. (In einem Moduilkanal optional).")
- async def cmd_module(self, interaction: Interaction, public: bool, topic: Topics = None, module_nr: int = None):
+ @app_commands.describe(topic="Möchtest du eine bestimmte Rubrik abrufen?",
+ module_nr="Nummer des Moduls, das dich interessiert. (In einem Moduilkanal optional).",
+ public="Sichtbarkeit der Ausgabe: für alle Mitglieder oder nur für dich.")
+ async def cmd_module(self, interaction: Interaction, topic: Topics = None, module_nr: int = None,
+ public: bool = True):
await interaction.response.defer(ephemeral=not public)
try:
--
GitLab