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 semplice, ma bisogna prima installare la libreria requests. Inizioamo quindi con: e poi potremo procedere con: Ci sono anche una serie di funzioni utili, ad esempio per vedere … Leggi tutto
Ecco un semplice script bash per scaricare un archivio da google drive: #!/usr/bin/env bash # gdrive_download # # script to download Google Drive files from command line # not guaranteed to work indefinitely # taken from Stack Overflow answer: # http://stackoverflow.com/a/38937732/7002068 gURL=$1 # match more than 26 word characters ggID=$(echo “$gURL” | egrep -o ‘(\w|-){26,}’) … Leggi tutto
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 usare all’interno dello script: #!/bin/bash while [ $# -gt 0 ]; do if [[ $1 == “–” ]]; then param=”${1/–/}” declare $param=”$2″ … Leggi tutto
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 interrompe, la sessione SSH viene terminata e il tuo lavoro è perso. A questo c’è una soluzione, Screen. Screen o GNU Screen è un multiplexer di terminale. Questo … Leggi tutto
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: for file in *.1; do mv “$file” “$(basename “$file” .1)”; done Se invece bisogna modificare l’estensione , es da .1 a .2, si può fare: for file in *.1; … Leggi tutto
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 scaricare da: http://www.org/1.pngfino a:http://www.org/20.png Con wget basta una riga di codice: wget http://www.org/{1..20}.png enjoy!
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 modifica anche sui files/cartelle delle sottocartelle: find . -exec touch -t 201907091030 ‘{}’ \; enjoy!
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 files) non chiede conferma prima di procedere, a meno che non passiamo il parametro -i. Se vogliamo stare un po’ più tranquilli e … Leggi tutto
Ho provato ad installare composer su OSX El Capitan ma quando lo lanciavo, continuava a dirmi:
1 | Could notopen input file:/usr/bin/composer.phar |
E’ chiaro ci sia un problema nel path. Vi scrivo quindi la procedura esatta per installare correttamente composer sul vostro MAC, da eseguire una riga per volta:
1 2 3 | php-r"readfile('https://getcomposer.org/installer');">composer-setup.php php composer-setup.php--install-dir/usr/local/bin/ php-r"unlink('composer-setup.php');" |
Finita questa fase, la cosa più importante è creare un … Leggi tutto
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, generalmente basta digitare la seguente stringa (consiglio un copia&incolla):
1 | echo-e"\033c" |
enjoy!