Git / Docker / Linux
Guide pratiche per sviluppatori
Affronta un problema preciso, verifica il risultato e comprendi i comandi che usi.
- gitAnnullare un commit Git: reset, revert o restore?
Scegli come annullare un commit locale, invertire un commit condiviso o togliere un file dallo staging, con un esempio riproducibile.
- gitRisolvere un conflitto Git merge, passo per passo
Riproduci un conflitto Git merge, modifica il risultato, controlla il diff dello staging e completa oppure annulla il merge.
- dockerLiberare spazio Docker senza eliminare i volumi
Controlla lo spazio usato da Docker e scegli una pulizia mirata di immagini, container o cache, conservando i volumi.
- dockerDocker volume o bind mount: quale scegliere?
Confronta volumi gestiti da Docker e directory dell’host in bind mount, con esempi di persistenza e accesso in sola lettura.
- linuxPermessi Linux: cosa significano chmod 644 e 755?
Leggi i permessi numerici Linux, comprendi l’attraversamento delle directory e applica permessi diversi a file e cartelle.
- gitGit SSH: risolvere Permission denied (publickey)
Diagnostica l’autenticazione SSH su GitHub: URL remoto, chiavi caricate, impronta del server e accesso al repository.
- dockerDocker: risolvere port already allocated e porte occupate
Trova il container o processo che occupa una porta Docker, scegli un’altra porta host e verifica il servizio pubblicato.