Tag: linux

Bash in pillole: la process substitution <(...)

Devo confrontare due file CSV che forse contengono gli stessi dati: nei due file le righe sono ordinate diversamente. Voglio farlo son un solo comando da bash. Bash è un interprete di comandi (shell) che normalmente viene usato attraverso un emulatore di terminale come GNOME Terminal. Abbiamo parlato di emulazione di terminale qui a proposito …

Continua a leggere

Scambiare messaggi tra host Unix.

Ovvero come si scambiavano messaggi instantanei due utenti Unix prima dell’avvento di WhatsApp e Telegram. Qualche giorno fa stavo ragionando sui primi sistemi di messaggistica su ARPANET [E] e mi è tornato in mente il comando Unix write, quello che consente a un utente di scrivere direttamente sul terminale di un altro utente collegato alla …

Continua a leggere

Capire il networking di Docker: nozioni indispensabili su host, container, bridge e localhost

Continuo qui una serie di articoli che riguardano il funzionamento di Docker. In questo post ho condiviso la comprensione del perché Docker non possa essere pensato come un virtualizzatore hardware: non viene virtualizzata una macchina completa e i processi dei container condividono il kernel del sistema operativo host; i filesystem locali vengono montati e abbiamo …

Continua a leggere

Perché Docker non è una macchina virtuale

docker - Dockerfile

Per anni avevo sentito ripetere che Docker è una virtualizzazione leggera. È una frase comoda per iniziare, ma in realtà è fuorviante. In particolare non dobbiamo confondere docker con la virtualizzazione hardware. L’ho capito nel modo migliore: cercando di capire perché MySQL si comportasse in modo apparentemente assurdo. Il problema Sul mio PC era in …

Continua a leggere

Problemi con mouse Bluetooth Trust su Ubuntu con chip Realtek RTL8821CE: analisi e soluzione

Trust Puck Bluetooth Mouse (codice 24059-02)

Negli ultimi giorni ho avuto problemi intermittenti con un mouse Bluetooth Trust (modello 24059-02) connesso al mio HP con Ubuntu. Il mouse ha funzionato regolarmente per un paio di giorni, poi improvvisamente ha smesso di connettersi, pur comparendo tra i dispositivi già accoppiati. Questo è il resoconto del problema e della soluzione adottata, nella speranza …

Continua a leggere

Risorsa Samba non più raggiungibile

Mi prendo un appunto su questo problema e la soluzione che ho trovato con GPT. Problema Improvvisamente (in realtà ieri ho fatto un aggiornamento di Windows) dalla mia macchina Windows non riesco più ad accedere alla risorsa ssamba montata sul mio “muletto” Ubuntu Linux jsbach. Quando tento di montare la risorsa Samba mi compare la …

Continua a leggere

TLP, allunga la vita della batteria del tuo laptop

tlp - Batteria Laptop

TLP è un sistema per Linux che aiuta a prolungare la durata della tua batteria. Utilizzando TLP, potrai ottimizzare le impostazioni del sistema per ridurre il consumo energetico e massimizzare l’efficienza energetica. Con TLP, potrai godere di una maggiore durata della batteria per il tuo sistema Linux. Installazione di TLP Su Ubuntu 22.04 Jammy Jellyfish: …

Continua a leggere

Convertire un file CSV in una tabella MD in Python

Markdown

Utilizzo spesso Markdown perché è un modo veloce di produrre documenti formattati che ospitano molto codice e contenuti tabulari. Con Python, qui di seguito descrivo un modo per convertire una tabella csv in una tabella markdown: Step 1. Intallazione di Pandas $ pip install pandas Defaulting to user installation because normal site-packages is not writeable …

Continua a leggere

Appunti di Sistemi Operativi (OS)

Sistemi operativi

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 …

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