- Crea un bot
- Invia un messaggio al nuovo bot
- Questo comando richiede gli ultimi messaggi da processare del Bot e permette di estrarre l'ID dell'utente.
curl -s https://api.telegram.org/bot$BOT_TOKEN/getUpdates | jq .result[].message.chat.id
| const TICK = '`'; | |
| const componentEmbedTemplate = ({ uid, code }) => ` | |
| <div class="embed"> | |
| <script id="embed-${uid}"> | |
| (async function() { | |
| const $self = document.getElementById('embed-${uid}'); | |
| const $embedContainer = document.createElement('div'); | |
| $embedContainer.classList.add('container'); | |
| const $shadow = $embedContainer.attachShadow({ mode: 'open' }); |
forked from https://github.com/AndrewBelt/WiTeX, a bit less minimal to show also the language bar.
| #!/bin/bash | |
| # Colors | |
| end="\033[0m" | |
| black="\033[0;30m" | |
| blackb="\033[1;30m" | |
| white="\033[0;37m" | |
| whiteb="\033[1;37m" | |
| red="\033[0;31m" | |
| redb="\033[1;31m" |
| # Colors | |
| end="\033[0m" | |
| black="\033[0;30m" | |
| blackb="\033[1;30m" | |
| white="\033[0;37m" | |
| whiteb="\033[1;37m" | |
| red="\033[0;31m" | |
| redb="\033[1;31m" | |
| green="\033[0;32m" | |
| greenb="\033[1;32m" |
| #!/bin/bash | |
| if [ "$#" -eq "0" ] ; then | |
| echo "Passa come primo parametro il nome del file in cui mettere la lezione!" | |
| exit 1 | |
| fi | |
| FILE_NAME=$1 | |
| cat "./lezioni/template.tex" > "./lezioni/$FILE_NAME.tex" |
| import pygame | |
| import random | |
| WIDTH = 720 | |
| HEIGHT = 480 | |
| FPS = 30 | |
| WHITE = (255, 255, 255) | |
| BLACK = (0, 0, 0) |