Archivio Ottobre 2022

Applicare una patch

Tux patch

Dimentichiamoci per un attimo che esista Git e, più in generale, i software di gestione del versionamento. All’origine dei tempi, come si applicavano le modifiche ai file quando si faceva sviluppo in team? Ovviamente quanto segue è comunque utile e può essere utilizzato in sistuazioni in cui dobbiamo emendare singoli file. Unix ha tuttora, compreso …

Continua a leggere

Convertire xlsx in csv

Convert XLS to CSV

Per soli utenti Linux, in due righe di comando: Fine. Riferimenti Geeks for Geeks

Oracle: update – select

Ovvero come scrivere un’istruzione SQL per aggiornare i campi di una tabella prendendo i valori da un’altra in join. La soluzione è valida per il dialetto di Oracle, con qualche modifica si fa girare per altri RDBMS. Me lo dimentico sempre e ogni volta devo andare a googlare per trovarlo. Basta! Me lo riporto qui …

Continua a leggere

Totem non riproduce più i video con Ubuntu 22.04

totem

Conosciuto anche come Videos, Totem è un riproduttore di film progettato per GNOME [3]. Dopo aver avanzato il mio OS alla versione di Ubuntu 22.04 ho notato un problema (nel senso: da un po’ non vedevo i video e facendone girare uno delle vacanze estive mi sono accorto del probema che solo poi ho trovato …

Continua a leggere