On 12/01/2018 18:35, vallini.daniele a bilug.it wrote: > Fri, Jan 12, 2018 at 05:02:09PM +0100 Paolo Ciarrocchi ha scritto: > ... > Solo in rete chiarisce che e' un comando proprio della shell bash, non so > se anche dell'ultima arrivata dash. no -- It is a good day to die. But the day is not yet over.