- Markdown style
[![Watch the video](https://img.youtube.com/vi/nTQUwghvy5Q/default.jpg)](https://youtu.be/nTQUwghvy5Q)
- HTML style
<a href="http://www.youtube.com/watch?feature=player_embedded&v=nTQUwghvy5Q" target="_blank">
""" | |
A simple watchdog for long running processes which may stall for some reason or | |
another. | |
If the main thread hasn't logged progress (by updating | |
``self.last_progress_time``) in WATCHDOG_HARD_KILL_TIMEOUT, the watchdog | |
thread will log an error containing the stack trace of all currently running | |
threads then use ``kill -9`` to kill the main process. | |
Assumes that a process monitor like supervisor or systemd will then restart |
@commands.guild_only() | |
# Command cannot be used in private messages. | |
@commands.dm_only() | |
# Command can only be used in private messages. | |
@commands.is_owner() | |
# Command can only be used by the bot owner. | |
@commands.is_nsfw() |
Edit: This list is now maintained in the rust-anthology repo.
This guide provides updated instructions for pairing Bluetooth devices (such as keyboards or mice) in a dual-boot environment with Linux Ubuntu and Windows 10/11, incorporating community feedback and suggestions.
Want to inject some flavor into your everyday text chat? You're in luck! Discord uses Markdown, a simple plain text formatting system that'll help you make your sentences stand out. Here's how to do it! Just add a few characters before & after your desired text to change your text! I'll show you some examples...
What this guide covers: