già ma quale runner?
risaliamo il problema:
la ricerca di un programma nel menu come funziona?
andrà a leggere in un elenco giusto?
e dov'è questo elenco?
e quando viene aggiornato e/o riletto?
e quale cavolo di script lo fa?
a questo punto posso fare in qualche modo l'operazione a mano.
(credo)

Il 22/06/2014 23:41, Gian Uberto Lauri ha scritto:
> Rilanciare il runner implicato a mano potrebbe essere un workaround,
> sempre che il programma sia lanciabile a mano...


-- 
Per REVOCARE l'iscrizione alla lista, inviare un email a 
[email protected] con oggetto "unsubscribe". Per
problemi inviare un email in INGLESE a [email protected]

To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
Archive: https://lists.debian.org/[email protected]

Rispondere a