Antonio De Lucreziis aziis98

If Donald Knuth had designed Wikipedia

forked from https://github.com/AndrewBelt/WiTeX, a bit less minimal to show also the language bar.

notifica-esami

Telgram

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
```

Random-Looking Text

Small snippet of JS to generate some random looking text instead of using lorem ipsum.

Usage

In HTML put some <span class="random-text"></span>

Esercizio

Option<T> := None | Some T
List<T> := Nil | Append List<T> T
Tree<T> := Leaf T | Branch List<Tree<T>>

Si possono anche assumere funzioni comode come get :: (List<T>, Int) -> T

My Scripts

Some of my scripts (bashrc, ...)

bashrc
...

Symlink Manager

I tried to use a bare git repo to version my dotfiles and my config files but I ended not liking it very much (I don't like to mess so much with the git working directory).

This is my first try on a custom setup, the local copies of the "scripts" and "dotfiles" repositories can be stored wherever on the system and this two command automatically linkup all the files to their target location using a custom comment format in the script files.

dotfiles-link.sh

The following script automatically symlinks all scripts to the correct directories with a declaration like

Tmux launcher

Launch commands in a new detached tmux session. This needs tmux and sqlite3 to be installed, see launch --help for usage.

Sqlite is used for storing the command history in ~/.cache/aziis98.scripts.launch/history.db that can be run with launch past <SESSION_NAME>.

Info

TARGET_FILE ~> https://gist.github.com/aziis98/5db2a8efb07c1fa666e740f8c0b72b6a

	#!/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"

	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' });

	const apiResponse1 = {
	post: "Questa è la domanda di questo thread",
	votes: 1,
	timestamp: "un po' di fantasia",
	children: [
	{
	content: "Questa è la prima riposta",
	votes: 1,
	timestamp: "un po' di fantasia",
	children: []