Estrai le menzioni

A che cosa serve

Da una didascalia, da un thread o da un elenco di commenti tira fuori tutti i nomi utente citati con la chiocciola, uno per riga. Serve a chi gestisce una pagina e deve ringraziare o ricontattare chi è stato taggato, a chi prepara una lista di collaborazioni, e a chi vuole capire in fretta chi viene nominato in una conversazione lunga senza scorrerla tutta.

Come le trova

Viene preso tutto quello che comincia con @ e prosegue con lettere, cifre, il trattino basso e il punto, che sono i caratteri ammessi nei nomi utente dei social. Le lettere accentate vanno bene. Il punto vale solo in mezzo al nome: una menzione a fine frase come «@luca.» esce come @luca, senza il punto della frase. Un nome del fediverso, come @nome@mastodon.social, viene preso intero, con il suo server.

I doppioni si tolgono senza guardare le maiuscole, come fanno i social: @Mario e @mario sono lo stesso nome utente, quindi chi è citato dieci volte compare una volta sola, con la forma usata la prima volta.

Che cosa resta fuori

Un indirizzo di posta ha la chiocciola in mezzo, attaccata a una lettera: da «mario@example.com» non esce nessuna menzione, perché quella chiocciola non apre un nome utente. Se ti servono proprio gli indirizzi, la pagina è Estrai email da testo. Lo stesso vale per la chiocciola dentro un indirizzo web, come quella dei profili in certi siti, che resta parte del link.

Lo stesso testo, cinque cose da cercare

Sopra il riquadro ci sono cinque pulsanti, e lo stesso testo si passa anche per gli altri tipi con le stesse regole: Estrai email da testo, Estrai link da testo, Estrai hashtag e Estrai numeri di telefono.

Lo stesso testo con lo stesso pulsante dà lo stesso elenco su tutte e cinque le pagine.

Gli strumenti vicini

Per gli hashtag invece delle menzioni c'è Estrai gli hashtag, e per i collegamenti Estrai link da testo. Se stai preparando il post e vuoi sapere quanto spazio ti resta, il conto per ogni piattaforma lo fa Contatore caratteri social.