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
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 -q "${DIR}" || PATH=$PATH:"${DIR}"
done
Notate la profusione di virgolette per colpa degli spazi.
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 per un po’, lasciando però l’aggiornamento automatico delle altre app. Non so se funzionerà, ma la soluzione è relativamente semplice. Da Google Play si cerca l’app e si clicca sui tre puntini in alto a destra. Da lì basta togliere la spunta agli aggiornamenti automatici.
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 aprire i menu che sono
C:\ProgramData\Microsoft\Windows\Start Menu (globale)
%appdata%\Microsoft\Windows\Start Menu (utente)
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 → Font Size, e poi ridurre quella del test da Options → Advanced → Font Size. La seconda è mettere come caption del simbolo la stringa
$ \scalebox{4} %n $
dove “4” è la dimensione relativa del carattere rispetto al default. Non dimenticate i dollari 🙂
Se invece si vuole disegnare solo una parte di una curva c(x) tra a e b, si può scrivere nella riga di input
If[a
Basta digitare https://www.facebook.com/NOME_UTENTE/allactivity .
Io sono una persona semplice: avevo Windows 8.1R1 sul PC (che non è nemmeno mio ma dell’ufficio) e ho installato Windows 10. Tanto – mi sono detto – uso Classic Shell e quindi le piastrelle non mi dicono nulla. Peccato che poi abbia scoperto che quando salvi il file non c’è più la locazione “Elementi recenti”, o “Recent places” per chi come me usa la versione inglese, ma solo gli “Elementi frequenti”. Come fare? Semplice: una rapida ricerca mi ha fatto trovare le istruzioni (sul sito Microsoft 🙂 ). Ringrazio ThePhinx e le ricopio qua.
(a) Come mostrare i Recent Folders
Questo è relativamente semplice, almeno per gli standard Microsoft. Si clicca Windows-R e si esegue il comando shell:::{22877a6d-37a1-461a-91b0-dbda5aaebc99}. Apparirà una finestra di File Explorer: nella colonna di sinistra, sotto il cestino, si trova la locazione “Recent Places”. Ci clicchi su col tasto destro e selezioni “Pin to Quick Access” o “Pin to Start”. D’ora in poi te lo troverai sempre.
(b) Come avere i Recent Folders nel menu “Save as”
Questo è più complicato, tanto che ThePhinx suggerisce di creare un restore point per sicurezza (io non l’ho fatto e sono sopravvissuto). Ecco i passi:
Diciamolo: non è un esempio di semplicità. Però lo si fa una volta per tutte.
Tutte le volte che installo cygwin scopro che il terminale (la cosa che uso di più) è 24×80, mentre io sono storicamente un patito del 25×80. Solo che non mi ricordo mai dove modificare la configurazione. Alla fine mi sono deciso: in fondo a /etc/bash.bashrc ho aggiunto le righe
ROWS=25 export ROWS stty rows 25 cols 80 echo -ne '\e[8;25;80t'
e dovrebbe funzionare tutto.
Una volta era facile aggiungere un proprio indirizzo email (un alias) a Gmail e poi spedire da quell’indirizzo: lo si aggiungeva nei settaggi, ci si faceva mandare un messaggio di verifica per controllare se effettivamente quello era un indirizzo a nostra disposizione, e poi eravamo a posto. La scorsa settimana ho cercato di aggiungere un alias dopo qualche anno e ho scoperto che le cose sono completamente cambiate, perché ora bisogna indicare il server di posta da cui spedire i messaggi, cosa che non sempre è possibile. Ho cercato nell’help di Google, ma non c’era nessuna spiegazione: per fortuna la Rete è grande e ho trovato questo post che spiega come fare, e che riprendo qua per mia comodità.
Per prima cosa occorre andare su https://www.google.com/settings/security e verificare che l’autenticazione in due passi sia attiva. Non preoccupatevi se non volete averla: alla fine della procedura si può toglierla di nuovo. Da qui selezionate le impostazioni delle password per le app: ne create una nuova, etichettata con tanta fantasia GMAIL, e generate la password. Otterrete una password di sedici caratteri (e qualche spazio): copiatela.
A questo punto bisogna aprire le impostazioni di Gmail: cliccate sull’ingranaggio in alto a destra e selezionate “impostazioni”. Da lì, nel tab “Account e importazione”, cliccate su “Aggiungi un altro indirizzo email di tua proprietà”. Arriverà un popup, dove dovete inserire il vostro nome e l’indirizzo email che volete aggiungere, e dovete spuntare la casella “Considera come un alias”. Cliccando su Avanti, potete inserire i dati della connessione di posta via Google: server SMTP smtp.gmail.com, nome utente il vostro nome utente gmail, password quella che avete copiato sopra. A questo punto avrete finalmente la schermata dove farsi inviare un messaggio di test e inserire il codice di verifica ottenuto.
Diciamo che non è immediato, ma alla fine funziona 🙂
Recent Comments