L’ambiente grafico xfce permette la personalizzazione e la creazione di pannelli con link rapidi e utility varie. Le configurazioni personalizzate sono molto utili, e spesso richiedono un po’ di tempo per la messa a punto. Sarebbe molto comodo poterle riportare su un nuovo PC o su un nuovo utente senza doverle ogni volta reimpostare da zero.
Leggi tutto “xfce copiare configurazione pannello”Categoria: tips&tricks
wordpress aumentare dimensione upload file
Per aumentare in wordpress la massima dimensione di un file in upload, modificare le seguenti tre voci nel file di configurazione php.ini:
upload_max_filesize = 64M
post_max_size = 64M
max_execution_time = 300xubuntu disattivare aggiornamenti automatici
Installo spesso xubuntu su dei PC vecchi per renderli utilizzabili, dato che richiede poche risorse. Però di default viene attivato l’aggiornamento automatico, che parte all’avvio e occupa per parecchio tempo il processore al 100% di attività.
Per disattivare l’aggiornamento automatico usare il seguente comando
sudo dpkg-reconfigure -plow unattended-upgradesbackup e ripristino database mysql
Qui di seguito un pro-memoria rapido per il backup e restore di un database mysql. Estratto dall’articolo “installare mediawiki su Linux Mint“
backup:
Leggi tutto “backup e ripristino database mysql”Accesso remoto su Mint 19
In Mint 19 non c’è più la voce “Condivisione Desktop” che permetteva di attivare rapidamente un collegamento remoto da un altro PC tramite VNC (client Remmina da un altro Linux).
Ho trovato in rete un tutorial su come attivare in modo abbastanza rapido una condivisione provvisoria installando il pacchetto vino.
update
provato su Mint 20.3: installare anche gnome-control-center, c’è una sezione “condivisione” da cui si può attivare condivisione schermo
Inoltre aggiungo il link al post per attivare una connessione VNC , procedura più lunga ma utile per gestire un server senza monitor.
Leggi tutto “Accesso remoto su Mint 19”VirtualBox: utilizzare USB dell’host
Ho usato spesso VirtualBox (installato su Linux) per fare delle prove di installazione di varie distribuzioni Linux, senza dover preparare PC fisico. Però non avevo mai avuto bisogno di montare nella macchina virtuale una penna USB inserita nella macchina fisica che la ospitava.
Leggi tutto “VirtualBox: utilizzare USB dell’host”mediawiki: mostrare gli errori d’avvio
Mi è capitato, dopo aver installato un’estensione per mediawiki, che al successivo accesso alla pagina wiki, non si vedesse nulla.
Per mostrare i messaggi di errore, aggiungere le seguenti due righe all’inizio del file LocalSettings.php (a partire dalla riga sotto al tag <?php )
WordPress aggiornare host
Se nel passare da un un server ad un altro cambia l’indirizzo IP o il nome del dominio, non basta ripristinare il database.
Leggi tutto “WordPress aggiornare host”Impostare l’orologio hardware
Spesso, a sistema operativo avviato, l’orologio viene sincronizzato via Internet, ma in realtà l’orologio hardware della scheda madre rimane impostato sull’ora UTC. Questo è molto scomodo se è necessario impostare il risveglio del PC da BIOS, perchè il BIOS considera l’orologio hardware, e ci saranno differenze di ora.
Con il comando timedatectl seguito da INVIO appare la situazione attuale:
Cambiare il nome host
Il nome host di solito viene scelto al momento dell’installazione, ma per correggerlo in un secondo momento si possono usare i comandi che seguono:
Leggi tutto “Cambiare il nome host”