Tag: shell

Pillole Linux: riesumare una finestra “fantasma”

Oggi mi sono trovato davanti un problema sconosciuto: ho aperto una finestra (nella fattispecie, l’applet Java di MirthConnect) e ho poi normalmente commutato su un’altra finestra da quel momento non vedevo più la finestra Java nell’elenco dei task che vengono visualizzati con ALT-TAB: Se minimizzo la finestra di Mirthconnect non riesco più a recuperarla… Come …

Continue reading

Pillole di Unix/Linux 2: concatenare i file

Mi sono trovato di fronte a questo problema: voglio aggiungere i log di git ad un file di changelog preesistente che gestivo a mano ma che contiene informazioni che non voglio perdere. Faccio così: $ git log >> changelog.txt Il comando >> (append) mi consente di aggiungere un output di un comando alla coda di …

Continue reading

XML beautifier con xmllint

xmllint è una utility che fa parte del pacchetto: libxml2-utils Per installarlo $ sudo apt-get install libxml2-utils Avevo bisogno di un “abbellitore” (beautifier) per codice XML. Ci sono tanti bei servizi anche online, ma me ne serviva uno di integrato con l’editor PHP che uso, Geany. Geany consente di inviare frammenti di codice sezionati dal …

Continue reading