Blog del sito MyDigitalia - Usare il Pc seriamente.
Non disdegnate di sbirciare anche la pagina di Facebook

venerdì 14 dicembre 2018

speech to text in Linux con KDE connect

Per usare della potenza di Google (speech synthesizer), si può usare KDE connect e il controllo remoto che questi permette da smartphone a PC:

1.attivare KDE connect anche sul PC,
2.da smartphone aprire la app KDE connect e scegliere "impulso remoto",
3. scegliere come tastiera "Google digitazione digitale",
4. Parlare nello smartphone e così si vedrà il testo apparire sul PC, nel programma focalizzato e nel punto in cui è posizionato il cursore.

NB
Può darsi che qualche volta sbagli gli accenti, in questo caso chiudete e riaprite Google digitazione digitale.

giovedì 13 dicembre 2018

recuperare files cancellati sullo smartphone

Mi è successo che DrBoost mi abbia cancellato dallo smartphone la cartella Documents, che pure dovrebbe essere di sistema e con essa alcuni files di documenti, frutto di ore e ore di lavoro (di schedatura).
Per recuperarli ho provato varie apps di android, che però salvano solo foto, video e audio e non documenti.
Allora ho provato dei software da PC, il più promettente dei quali mi è parso drfone, che però si è fermato all'incapacità di rootare il dispositivo, che del resto ho preferito poi non rootare.

giovedì 15 novembre 2018

suggerimenti nella barra dei suggerimenti di Gboard

Non compare niente nalla barra sopra i tasti ad esempio perché non si è loggati con account Google in cui si sia settato di mostrare i suggerimenti, come da screenshot:
Dopo aver settato, non dimenticare di fare un reset allo smartphone.

martedì 6 novembre 2018

dettare la punteggiatura con Google su android

Si possono dettare "punto" per "." e "virgola" per ",": bisogna abbassare il volume della voce e pronunciare tali voci di punteggiatura possibilmente a ridosso della parola precedente, senza pause.

lunedì 3 settembre 2018

server php/mysql su android

Sconsiglio vivamente KickWeb Server: un disastro, non è personalizzabile.
Se volete buttare via tempo provate moNERIngAo Server: semplicemente non parte il server!

domenica 26 agosto 2018

risalire da terminale alla cartella superiore, in linux

Mentre in windows il comando è cd.., in linux è cd .. (con uno spazio prima dei due punti).

venerdì 24 agosto 2018

montare /smontare da terminale una chiavetta USB

Perché

Montare e soprattutto smontare da terminale una chiavetta USB in Linux ha il vantaggio che si può lasciare fisicamente la chiavetta nella sua porta USB rimanendo al tempo stessi sicuri che quanto doveva esservi scritto vi è già stato scritto e volendo si potrebbe sfilarla dalla porta quando si vuole, senza aspettare.
Se al contrario si usa la graficamente più comoda soluzione del safely remove, rimozione sicura della chiavetta, allora per poterla nuovamente montare (ed avere perciò praticamente disponibile) occorre sfilarla fisicamente e reinfilarla fisicamente nella porta USB.

Come

Dopo vari tentativi (tra cui con pmount) ho fatto così:
  • modificato il file etc/fstab aggiungendo una riga di questo tipo: LABEL=pen-drive /media/user/pen-drive etx4 user,rw,noauto 1 2
  • creato uno script bash per montare la chiavetta col comando "mount /dev/sdd5 /media/user/pen-drive"
  • e un altro script per smontare col comando "umount /media/user/pen-drive"