tree 72ff49242c2ccf66bae6f1cc22b5e8653fc6ac20
parent 6ed0e4e7f96ee39c29e5aae352afb31ac9bd36e0
author Andrew Jeffery <andrew@aj.id.au> 1581509787 +1030
committer Andrew Jeffery <andrew@aj.id.au> 1582586288 +1030

console-server: Choose tty device from a configuration file

If the tty device is not specified on the command-line, search the
configuration file before failing.

This enables mapping a socket name to a device name via the filesystem.

Signed-off-by: Andrew Jeffery <andrew@aj.id.au>
Change-Id: I18a9cf53d2af4641554ed87020ab97bfe7609563