Home / Guide / Ricevere una notifica quando il terminale Linux ha finito!
Le notifiche da terminale!

Ricevere una notifica quando il terminale Linux ha finito!

Se conoscete Elementary Linux (in caso contrario, date un’occhiata al mio riepilogo completo della distro qui in basso), sapete bene che integra una piccola funzione molto interessante ed utile, che consiste nel mandarvi una notifica ogni qualvolta il vostro terminale Linux ha finito di eseguire uno o più comandi, una notifica che vi dice quanto tempo il terminale ha impiegato e quando ha realmente finito di eseguire i comandi.

elementary OS

è disponibile uno script per fare lo stesso su varie distribuzioni Linux Debian-based (e Ubuntu-based), che si chiama Undistract me e vi mostro come installarlo.

Come ricevere una notifica quando il terminale ha finito

Aprite un terminale e date:

sudo apt-get install undistract-me

per utilizzarlo, dovete fare una modifica al file ~/.bashrc. Apritelo ed aggiungete la seguente stringa di codice:

. /usr/share/undistract-me/long-running.bash
notify_when_long_running_commands_finish_install

e dai il comando:

source ~/.bashrc

di default, lo script funziona per mandarvi una notifica se un comando gira per oltre 10 secondi, in caso contrario non invierà nulla. Potete cambiare questa impostazione cambiando il valore LONG_RUNNING_COMMAND_TIMEOUT nel file /usr/share/undistract-me/long-running.bash

se volete testare lo script, scrivete sleep 11 sul terminale e dopo 11 secondi avrete una notifica simile:

sleep 11

altre info sul progetto qui, sulla pagina ufficiale di GitHub.

Riguardo a: Salvo Cirmi (Tux1)

Un pinguino intraprendente che dopo diversi anni di "servizio" online (e soprattutto delle guide) ha acquisito conoscenze non di poco conto sui settori Android, Linux e Windows. Le mie specialità sono il modding e le review. Nel tempo libero (che è raro trovare) suono il piano, mi diverto effettuando modding e provando distribuzioni Linux, BSD ed altre.

Guarda anche..

Audio intermittente/gracchiante su Ubuntu? Risolviamo subito!

Sapete, PulseAudio è un server audio davvero completo, complesso e professionale ma…uno dei più grandi …