Suddividere un archivio grande in file più piccoli

Ipotizziamo di avere il nostro archivio.tar.bz2 di 1GB ma per esigenze particolari non è possibile spostarlo se non in “pezzi” da 200MB. In questo caso è possibile usare l’utility split (installata solitamente di default) nel seguente modo: split -b 200M archivio.tar.bz2 “archivio.tar.bz2.part” Con questo comando avremo una serie di file chiamati archivio.tar.bz2.partaa, archivio.tar.bz2.partab, archivio.tar.bz2.partac, etc, … Leggi tutto

Simulare l’arrivo di una push notification nel simulatore iOS

Una delle limitazioni dell’uso del simulatore iOS è l’impossibilità di ricevere push notification, questo perché non è un vero device e quindi Apple non gestisce l’invio di notifiche vere e proprie. E’ però possibile simulare la ricezione di una notifica, ad esempio per controllare se il codice della propria applicazione nel simulatore viene correttamente eseguito. … Leggi tutto

Aggiornare GitLab in modo corretto

L’aggiornamento di GitLab è solitamente tutto automatizzato, ma questo se viene fatto periodicamente, in modo da aggiornare man mano alle nuove relese. Se si sono saltati un po’ di aggiornamenti e ci sono nuove major-release, è necessario prestare attenzione a non fare il passaggio direttamente dalla versione attuale, ma seguire lo schema di aggiornamento pubblicato … Leggi tutto

MacOS: Come creare una pendrive USB avviabile con Windows10

Per la creazione di una pendrive con l’installer di Windows 10 da MacOS possiamo ricorrere sempre all’ottimo unetbootin che offre una semplice interfaccia grafica. In alternativa, prestando sempre attenzione, si può procedere come segue: 1 – verifica dischi disponibili: diskutil list e recuperare il nome della pendrive USB, ad esempio /dev/disk2. Poi procediamo alla formattazione: … Leggi tutto

Come recuperare il seriale da Windows 10

E’ possibile recuperare il seriale, o product key, su un PC Windows 7/8/10 aprendo il prompt dei comandi (si può fare digitando cmd nel box di ricerca del menù start di windows) e digitando: wmic path softwarelicensingservice get OA3xOriginalProductKey E’ possibile anche usare powershell digitando invece questo comando: (Get-WmiObject -query ‘select * from SoftwareLicensingService’).OA3xOriginalProductKey enjoy!

Emulatore Android da riga di comando

Se per comodità volete gestire l’emulatore Android da terminale, senza usare Android Studio, potete usare alcuni comandi molto semplici. Innanzitutto per vedere eventuali emulatori creati possiamo digitare: emulator -list-avds oppure, se vogliamo maggiori dettagli: android list avd Se viene elencato qualcosa, significa che c’è qualche emulatore, altrimenti si può passare a crearne uno nuovo. Per … Leggi tutto

BASH: recuperare tutti i parametri in ingresso di uno script

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

HTTPS, migliore impostazione per apache o nginx

Ormai l’uso di un certificato HTTPS per il proprio sito web è diventata una funzionalità di base, i browser invogliano i visitatori a navigare solo su siti protetti da certificati HTTPS. Per l’installazione possiamo affidarci a let’s encrypt oppure a qualcuna delle azienda commerciali più note. Oggi volevo però parlarvi della configurazione e non dell’installazione. … Leggi tutto

Cambiare la webroot con un .htaccess

Con i framework PHP moderni può capitare che sia necessario modificare la webroot in una sottocartella del progetto. Con i servizi hosting condivisi non è solitamente possibile variare questo parametro, allora come fare? Basta una semplice direttiva nel file .htaccess per gestire questa cosa. Vediamo come. Ad esempio il nostro framework richiede che la webroot … Leggi tutto