Categoria: Sistemi Operativi

Configurazione SSL per Apache

errore scambio certificato https

Piccolo tutorial su come configurare un accesso cifrato con SSL per un sito web. Sia myserver il nome sia dell’host che del dominio: ovviamente in questo tutorial non utilizzeremo il DNS, stiamo solo facendo esperimenti in rete locale per cui basta specificare il nome dell’host. Ingredienti Chiave SSL Utilizzando OpenSSL generiamo una chiave privata RSA. …

Continua a leggere

Port forwarding con Docker

docker network layout

La mappatura delle porte Docker, nota anche come port forwarding , è una tecnica utilizzata per esporre i servizi di rete – che sono in esecuzione all’interno di un contenitore Docker – verso l’host, verso altri contenitori Docker dello stesso host o verso altri host o dispositivi di rete. Il port forwarding consente di mappare una porta specifica …

Continua a leggere

Disinstallare Skype

skype

Mi sono trovato con due versione di Skype, una installata con apt e l’altra con snap. Non ricordavo di avere fatto questa cosa, probabilmente ho installato la seconda perché era comparso l’avviso che da quella versione era supportato ChatGPT. In ogni caso ho deciso di eliminare la più obsoleta, quella installata con apt, che era …

Continua a leggere

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

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

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

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

Scrivere Web Services in Python: i socket

chunking-opt

Andare alle origini della programmazione web è sempre affascinante. Questo articolo aiuta a capire come funziona il web attraverso azioni sui socket. Questo post è la traduzione pressoché letterale dell’articolo del blog Iximiuz di Ivan Velichko. Sue anche le illustrazioni e gli esempi di codice funzionante. Lo ringrazio tantissimo per la gentilezza e l’entusiasmo che …

Continua a leggere

SSH: problema di autenticazione su Bitbucket

ssh

Ho un nuovo repository su Bitbucket. Ho generato una chiave con ssh-keygen e ho caricato la chiave pubblica su Bitbucket. Tuttavia il comando seguente mi va in errore: $ git pull remote master sign_and_send_pubkey: signing failed for RSA “/home/marcob/.ssh/id_rsa” from agent: agent refused operation git@bitbucket.org: Permission denied (publickey). fatal: Impossibile leggere dal repository remoto. Assicurati …

Continua a leggere