archivi di .mau.

quello che non oso mettere nel mio blog ufficiale

Tag Archives: howto

[HOWTO] Cambiare lingua a tutte le slide Powerpoint

Non so a voi, ma a me capita di dover prendere slide (lavorative) in italiano e renderle in una lingua abbastanza simile all’inglese. Il problema è che naturalmente il correttore interno è settato sull’italiano e quindi mi segnala due terzi … Continue reading

November 28, 2024 Archivi

[HOWTO] Inserire i numeri di riga usando vim

A volte può servire… Continue reading

November 9, 2024 Archivi ,

[HOWTO] abilitare il God Mode in Windows

Come avere salvati in un unico posto i comandi per i settaggi avanzati in Windows Continue reading

December 19, 2021 Archivi

[HOWTO] Far ripartire OneDrive

Se non riuscite a scaricare un file da OneDrive e vi arriva Error Code 0x80070194 perché il server chiude inaspettatamente la connessione, probabilmente basta resettare la connessione. Come scritto qui, lanciate i due comandi seguenti: Win-R, %localappdata%\Microsoft\OneDrive\onedrive.exe /reset Win-R, %localappdata%\Microsoft\OneDrive\onedrive.exe

March 10, 2020 Archivi

[HOWTO] mettere un testo in Word nell’ultima riga di una pagina

Qual è un sistema per avere una riga di testo in fondo a una pagina (ma non nel footer)? Si crea una text box (alt-NZTX con la versione inglese), si toglie il suo outline, e si indica il suo alignment … Continue reading

December 6, 2021 Archivi

[HOWTO] Aggiungere sottotitoli a un video

Anna mi ha chiesto di aggiungere i sottotitoli (italiani) a un video di YouTube (in inglese), per permettere ai suoi partecipanti diversamente anglofoni di capire cosa diceva un formatore. Ecco cosa ho scoperto. I sottotitoli (i file .srt) di per … Continue reading

May 10, 2021 Archivi

[HOWTO] ridurre le dimensioni di un PDF con gs

Avete un pdf troppo grande? Non volete usare i servizi online? Se avete installato ghostscript (gs) potete comunque farlo. Il comando necessario è $ gs -sDEVICE=pdfwrite -dPDFSETTINGS=/ebook -q -o output.pdf file.pdf dove PDFSETTINGS serve per decidere quanto comprimere: /screen selects … Continue reading

April 22, 2021 Archivi

HOWTO: Cambiare il font in GeoGebra

Una delle cose più fastidiose di GeoGebra è che le etichette degli oggetti sono sempre scritte troppo in piccolo. Per ovviare a questo problema ci sono due possibilità. La prima è aumentare la dimensione di tutti i font da Options … Continue reading

July 9, 2017 Archivi

[HOWTO] aggiungere solo directory nuove a $PATH

All’atto pratico non serve molto, ma se avete voglia di aggiungere a $PATH solo directory che non sono già presenti potete scrivere così: for DIR in “/cygdrive/c/cygwin64/bin” \ “/cygdrive/c/Program Files (x86)/dir1” \ “/cygdrive/c/Program Files/dir2” ; do echo $PATH | grep … Continue reading

November 6, 2019 Archivi

[HOWTO] Non aggiornare una singola app Android

Dal primo marzo Google eliminerà la sua app Inbox, con la scusa che le sue caratteristiche principali sono state inserite direttamente in Gmail. Non sono così d’accordo, e ho cercato di scoprire se si potesse mantenere la versione attuale almeno … Continue reading

February 15, 2019 Archivi
(i miei cookie)