archivi di .mau.

quello che non oso mettere nel mio blog ufficiale

Tag Archives: howto

[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

[HOWTO] recuperare il menu start

Non so voi, ma io voglio avere uno start menu abbastanza organizzato. (Finché ci riesco con Classic Shell, anche su Windows 10). Solo che spostare una a una le applicazioni che installo o aggiorno è una palla unica: molto meglio … Continue reading →

 February 20, 2018 Archivi
(i miei cookie)