Categoria: informatica

SSH headache

Stamattina non riesco più a stabilire una connessione SSH con un server in cui ho lavorato l’ultima volta un po’ di tempo fa. Facciamo che questo host si chiami web.mysecretserver.it come FQNS. Anche oggi ho la mia occasione per sentirmi stupido. Primo tentativo Al primo tentativo il protocollo mi dice che non ha trovato tra …

Continua a leggere

Quantum Computing

Quantum Computing

Il mantra avveniristico più in voga degli ultimi due anni è sicuramente lui, secondo me anche più dell’Intelligenza Artificiale: il Quantum Computing, calcolo quantistico. È anche vero che da un po’ l’attributo Quantum va comunque di moda anche in ambiti non strettamente scientifici (coscienza quantica, mente quantica e via discorrendo), però di sicuro una delle …

Continua a leggere

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

Funzione anonima↔Espressione lambda

C’è un concetto che per tanti anni mi è apparso misterioso, quello di espressione lambda o lambda expression in inglese – che poi mi è risultato analogo a quello di funzione anonima – da quando me l’hanno raccontato nel corso di Automi e Linguaggi Formali all’Università nell’ambito del corso di LISP moltissimi anni fa. Sì, …

Continua a leggere

Problema con l’uso della libreria curl con PHP

curl-logo

Da tempo sono perseguitato da un errore che si ripete (per quanto sospetto) ad ogni aggiornamento di php e che riguarda la libreria curl. Sia l’invocazione da Apache che da client mi presentano un errore con questo tono: $ php -r “curl_init();” PHP Warning: PHP Startup: Unable to load dynamic library ‘curl.so’ (tried: /usr/lib/php/20210902/curl.so (/usr/lib/php/20210902/curl.so: …

Continua a leggere

Cercare info su un pacchetto Ubuntu 22.04

ubuntu aptitude

Ci sono vari modi in Ubuntu per cercare informazioni su un pacchetto, in generale sono mutuamente esclusivi (un pacchetto si gestisce con un gestore o con l’altro, mai con tutti quanti). Esempi $ dpkg –print-avail vim-common Package: vim-common Priority: important Section: editors Installed-Size: 323 Origin: Ubuntu Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Bugs: https://bugs.launchpad.net/ubuntu/+filebug Architecture: amd64 Source: …

Continua a leggere

Cambiare skin all’applicazione con Bootstrap Italia

bootstrap-italia playground

Introduzione all’uso di Bootstrap Italia, più che altro per capire come si cambiano i colori dello schema