admin
- posted on
- No Comment
Oggi vi segnalo uno script python che permette il download e l’upload di file da/verso wetransfer, parliamo di transferwee. Innanzitutto lo possiamo scaricare con: L’utilizzo è molto
- posted on
- No Comment
Ecco un semplice script bash per scaricare un archivio da google drive:
- posted on
- No Comment
In uno script bash ci sono diversi modi per recuperare i parametri in ingresso. Oggi vi propondo un piccolo snippet che controlla tutti parametri passati allo script e li trasforma in variabili da
- posted on
- No Comment
Se lavori regolarmente via ssh, sicuramente avrai affrontato la situazione in cui mentre esegui un’attività di lunga durata su una macchina remota, improvvisamente la tua connessione si
- posted on
- No Comment
A causa di una svista, mi sono ritrovato una serie di files .php trasformati, nel nome, in .php.1. Per rinominare tutto, togliendo l’estensione .1, possiamo eseguire: Se invece bisogna
- posted on
- No Comment
Oggi vi parlo della possibilità di wget di usare la “bash brace expansion” per scaricare una serie di immagini dove nel nome c’è un numero progressivo. Ad esempio dobbiamo
- posted on
- No Comment
Per modificare la data di creazione di un file si può usare il comando touch e le relative opzioni, ad esempio: Per modificare la data in tutti i file/cartelle presenti nella cartella corrente: Per
- posted on
- No Comment
Cosa è un alias? Un alias consente di creare un nuovo comando o, nell’uso più comune, ridefinire il funzionamento dei comandi nella bash. Ad esempio il comando rm (per la cancellazione di
Posted in Varie
- posted on
- No Comment
Ho provato ad installare composer su OSX El Capitan ma quando lo lanciavo, continuava a dirmi: E’ chiaro ci sia un problema nel path. Vi scrivo quindi la procedura esatta per installare
- posted on
- No Comment
Può capitare che il terminale inizi a visualizzare caratteri strani a seguito dell’esecuzione di qualche comando (es la visualizzazione del contenuto di file binari). Per risolvere,