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
Come avere salvati in un unico posto i comandi per i settaggi avanzati in Windows Continue reading
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
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
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
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
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
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
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