On lun., 2011-08-22 at 08:59 +0200, Mike Massonnet wrote: > AFAICT there exists two ways to shutdown, with sudo otherwise with > hal. hal's gone. -- Yves-Alexis