Come selezionare con una regex (espressione regolare) tutte le righe di uno stream che non contengono una certa stringa? % cat file | grep -v “some string” Et voilà.
Categoria: internet
Gen 13
php-curl una storia infinita
Dopo l’ultimo aggiornamento di php-curl ho nuovamente il fastidio di emendare l’errore che stavolta si presenta in una veste diversa, a volte Warning $ php -m | grep curl PHP Warning: PHP Startup: Unable to load dynamic library ‘curl.so’ (tried: /usr/lib/php/20220829/curl.so (/usr/lib/php/20220829/curl.so: undefined symbol: curl_mime_addpart, version CURL_OPENSSL_4), /usr/lib/php/20220829/curl.so.so (/usr/lib/php/20220829/curl.so.so: cannot open shared object file: No …
Nov 16
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 …
Ott 18
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 …
Set 28
Appunti di Sistemi Operativi (OS)
Un piccolo breviario con la spiegazione succinta dei principali concetti riguardante i sistemi operativi (operating systems, OS). Sistemi Operativi Sono i software fondamentali per poter utilizzare di una macchina di tipo Von Neumann (quella col processore e la memoria per dati/programmi). Consentono di usare il processore, la memoria, il network, l’I/O, di gestire l’allocazione in …
Set 09
Problema con l’uso della libreria curl con PHP
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: …
Set 06
Network: quando l’interfaccia di rete non comunica con l’esterno.
Mi è capitato un paio di volte di rimanere in braghe di tela col network: il browser mi dice che non sono connesso a internet, un ping generico all’host che voglio raggiungere mi dice questo: $ ping www.google.com ping: www.google.com: Nome o servizio sconosciuto Sintomo 2: posso fare ping direttamente ad un nameserver pubblico come …
Ago 30
Cercare info su un pacchetto Ubuntu 22.04
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: …
Ago 18
Protetto: Configurazione Docker per un’applicazione Python/PostgreSQL
Non è disponibile alcun riassunto in quanto si tratta di un articolo protetto.
Ago 18
Accedere alla shell di un container Docker
Una volta avviato un container, come faccio ad accedere alla sua shell? Prima di tutto occorre elencare i container: $ sudo docker container ls -a CONTAINER ID IMAGE COMMAND CREATED STATUS PORTS NAMES 42d1ab376b0d sent_crunch “/bin/sh -c \”/bin/ba…” 12 minutes ago Exited (0) 12 minutes ago mybeautifulproject-app-1 e18da64098a2 postgis/postgis “docker-entrypoint.s…” 23 hours ago Up 10 …
Commenti recenti