Archivi categoria: Area Tecnica

Informazioni tecniche e soluzioni ai (miei) piccoli problemi digitali quotidiani.

Comando del giorno: make_coffee.sh

Oggi è stato ideato un nuovo comando distribuito in tutta l’azienda a beneficio di tutti

make_coffee.sh

La prima versione beta è stata fatta girare con successo pochi minuti fa per pochi intimi e con le seguenti opzioni

sudo /opt/bin/make_coffee.sh --number=3 --type=espresso

Probabilmente lo script verrà ampliato in futuro.

:-O

Root Nexus4 (4.3 e 4.4)

A memoria dei posteri, ma soprattutto mia per la prossima volta, segue un breve elenco di operazioni con cui ho fatto il root di un Nexus4 dopo l’aggiornamento da Android 4.3 (build jwr66y( a 4.4 (build krt16s) usando un computer Linux (Ubuntu).

Note essenziali da leggere prima che commentiate:

  1. Il telefono aveva già il bootloader sbloccato, quindi non c’è bisogno di sbloccarlo (operazione che CANCELLEREBBE TUTTI i dati)
  2. Ho comunque fatto un backup manuale di tutti i dati importanti presenti nello storage del Nexus4 (soprattutto musica e foto)
  3. la stessa procedura l’ho usata per passare dalla 4.2 alla 4.3 (ovviamente con immagine diversa)
  4. Il Nexus4 aveva già le opzioni per sviluppatori e la modalità debug attivi

Continua a leggere

Gitolite: risolvere warning the following users do not appear in the config file

Usando gitolite per gestire i permessi di accesso ad alcuni repository git alcune volte avevo degli errori  con alcune chiavi pubbliche del tipo:

***** WARNING *****
the following users (pubkey files in parens) do not appear in the config file:
jon(jon@simon.pub)
***** WARNING *****
the following users have no pubkeys:
jon@simon

Cercando in giro ho visto che a volte il nome usato per il .pub da utilizzare può differire da quello indicato in fondo alla chiave, che tipicamente è composta da nomeutente@nomemacchina oppure nomeutente@dominio.

Ho risolto modificando semplicemente il nome file della chiave pubblica e utilizzando il medesimo nome all’interno del file di configurazione (qui senza il suffisso .pub come da standard gitolite).

Nell’esempio precedente ho modificato rinominando il file in “jon.pub”.

Fonte: https://groups.google.com/forum/#!msg/gitolite/P-sJS2XzqCA/DgEh-WIvBQkJ

Come risolvere il segmentation fault di Skype dopo aver aggiornato a Ubuntu 13.04

Subito dopo aver aggiornato il PC alla nuova Ubuntu 13.04 “Raring Ringtail” Skype ha deciso che non gli andava più di collaborare e dopo una rapida ricerca in giro ho scoperto che in effetti c’è un bug riconosciuto che ha a che fare con i driver della scheda video.

Senza annoiarvi troppo con i dettagli tecnici, che potete trovare ad esempio qui, ecco la soluzione rapida.

Problema

Dopo aver aggiornato Ubuntu dalla versione 12.10 alla versione 13.04 Skype non si avvia. Provando ad avviarlo da terminale da un errore di segmentation fault.
Nel sistema in uso c’è una dockbar da cui lanciare di solito Skype

Soluzione

Lanciare il comando skype da terminale con una dichiarazione di variabile LD_PRELOAD:
LD_PRELOAD=/usr/lib/i386-linux-gnu/mesa/libGL.so.1 skype

Se usate una dockbar tipo Cairo-Dock o comunque potete modificare il comando lanciato dall’icona che di solito schiacciate per lanciare Skype questa è la soluzione più rapida.

Nel caso non usiate una dockbar diversa da quella di default di Unity o di Gnome, allora probabilmente dovrete lanciare lo stesso comando usando uno script o qualche altro modo.

Qui una selezione dei modi migliori per raggiungere lo scopo (che però non ho verificato di persona):

  • http://askubuntu.com/a/285911
  • http://askubuntu.com/a/287741
  • http://askubuntu.com/a/286130
UPDATE 02/05/2013

Il bug è stato risolto e basta aggiornare Skype dal canale ufficiale di Ubuntu per avere skype correttamente funzionante anche sulla 13.04.

Come resettare pulse audio su ubuntu 12.10

Se per caso vi capita di comprare un bel paio di cuffie bluetooth nuove che funzionano benissimo salvo che improvvisamente il microfono si metta a fare solo un gran fruscio provate a resettare le impostazioni di pulseaudio.

Problema

Ogni volta che accendete le cuffie bluetooth e provate ad usare il microfono delle cuffie il volume del microfono risulta altissimo indipendentemente dal livello che impostate nelle preferenze audio

Soluzione

Nella cartella home visualizzate i file nascosti e rinominate la cartella .pulse in .pulse_bak (in modo che possiate ripristinarla se serve).

Poi fate logout e login (o riavviate l’intero computer se preferite) in modo che pulseaudio rigeneri ex-novo le impostazioni dell’utente.