Divagazioni elettroniche

Da un po' sul mio Galaxy S compariva il messaggio "Spazio di archiviazione del telefono in esaurimento" nonostante nella gestione delle applicazioni risultassero occupati soltanto 490 MB su un totale di 2 GB a disposizione. Premetto che ho installato la ROM Cyanogenmod 9.1. La pulizia delle varie cache lo faceva scomparire solo temporaneamente. Ho aperto l'emulatore di terminale e dato il comando df : la partizione / data è effettivamente libera, ma ho trovato una partizione / datadata estremamente piccola e con solo 15 MB a disposizione. Stranamente non ho trovato molte informazioni su Internet, anche se il problema dovrebbe essere diffuso. Alla fine le ricerche non sono state infruttuose e ho scoperto che effettivamente il problema risiede nella dimensione ridotta della partizione / datadata : tale partizione viene usata dalle app per salvare alcune librerie e la cache perché è estremamente veloce rispetto alle altre, solo che è anche estremamente piccola, così qu

Il titolo è lungo, ma serve semplicemente per dire che nelle sostituzioni tramite la sed , ovvero quelle realizzate con il comando s/// , è possibile utilizzare alcune sequenze di escape oltre ai soliti backreference dei gruppi "catturati" con le parentesi nell'espressione regolare di sinistra. Nella parte destra dell'espressione (cioè quella dopo la seconda barra /) si possono usare: - \L per trasformare in minuscolo tutto  quello che segue (la L sta per "lowercase"); - \l (è una elle minuscola) per trasformare in minuscolo solo il carattere seguente; - \U per trasformare in maiuscolo tutto  quello che segue (la U sta per "uppercase"); - \u per traformare in maiuscolo solo il carattere seguente; - \E per marcare la fine della trasformazione dei caratteri. Gli "operatori" \L e \U agiscono fino alla fine dell'espressione (delimitata dalla barra / finale) oppure fino alla \E successiva. Quindi, per esempio, per trasformare sol