Christoph Urlacher christoph
0 Followers · 0 Following
  • Dortmund, Germany

  • CS student at TU-Dortmund

  • Joined on 2023-11-08
Repositories
28
 Projects Packages Public Activity Watched Repositories
christoph pushed to master at christoph/discord-heidi 2023-12-09 19:51:32 +01:00
c2847de7dd Add instantbuttons command + make responses ephemeral
christoph closed issue christoph/discord-heidi#5 2023-12-09 18:44:31 +01:00
Only send Messages in heidi-spam Channel
christoph commented on issue christoph/discord-heidi#5 2023-12-09 18:44:31 +01:00
Only send Messages in heidi-spam Channel

Implemented in 08230eb3dea6d893b625f1c1aa9b85f44f492830

christoph pushed to master at christoph/discord-heidi 2023-12-09 18:44:20 +01:00
08230eb3de Enforce heidi_spam channel for commands
christoph opened issue christoph/discord-heidi#8 2023-12-09 18:41:53 +01:00
Validate user entries before changing config
christoph commented on issue christoph/discord-heidi#4 2023-12-09 18:04:51 +01:00
Only play Entrance Sounds if there are other Members in Channel

Implemented in f2ddb4ab665288ad9b65847503fff3bdfbc0bab5

christoph closed issue christoph/discord-heidi#4 2023-12-09 18:04:51 +01:00
Only play Entrance Sounds if there are other Members in Channel
christoph pushed to master at christoph/discord-heidi 2023-12-09 18:04:26 +01:00
f2ddb4ab66 Only play entrance sound when other is present + reformat
876232f674 Ignore user config file
Compare 2 commits »
christoph commented on issue christoph/discord-heidi#6 2023-12-09 17:57:14 +01:00
Only suggest sounds that end with .mkv

Implemented in d7c3a7c7400867c63dc9c386dc1ae0b9e0fa13da

christoph closed issue christoph/discord-heidi#6 2023-12-09 17:57:14 +01:00
Only suggest sounds that end with .mkv
christoph pushed to master at christoph/discord-heidi 2023-12-09 17:56:46 +01:00
d7c3a7c740 Allow sounds with different file extensions
bdcd5208a7 Untrack Heidi_User.conf
79fcf0142a Some more options for randomly selected answers
Compare 3 commits »
christoph commented on issue christoph/discord-heidi#6 2023-12-09 17:41:57 +01:00
Only suggest sounds that end with .mkv

Instead of only allowing .mkv files, general audio files could easily be used by keeping the file extension internally (currently it is being stripped)

christoph pushed to master at christoph/discord-heidi 2023-12-09 17:36:57 +01:00
0f6cc12182 Delete orphaned code
christoph pushed to master at christoph/discord-heidi 2023-12-09 17:35:06 +01:00
9b66061ee7 Reformat TODO comments
c6608e4695 Remove rocm stuff from flake
Compare 2 commits »
christoph pushed to master at christoph/discord-heidi 2023-12-09 17:28:10 +01:00
3335009692 Fix SOUNDDIR being in the wrong file
christoph pushed to master at christoph/discord-heidi 2023-12-09 17:21:37 +01:00
d7604b6604 Update flake.lock
christoph pushed to master at christoph/discord-heidi 2023-12-09 17:14:12 +01:00
2e493e404b Split Heidi into multiple parts
16822e0212 Remove commented out code + add docstrings
9d78352ea5 Update handling of "None"
Compare 3 commits »
christoph pushed to master at christoph/discord-heidi 2023-12-09 15:28:35 +01:00
13b3e9910a Add sounds
1b89d2ef3b Update flake.lock
Compare 2 commits »
christoph commented on issue christoph/discord-heidi#7 2023-12-08 00:12:59 +01:00
Autostart Scheduled Events

Introduce /globalconfig (in contrast to /userconfig), which can only be set by the "Heidi-Flüsterer"

christoph opened issue christoph/discord-heidi#7 2023-12-08 00:12:00 +01:00
Autostart Scheduled Events