From 5a758f02928275386956d3d3d03c59e11ca342b1 Mon Sep 17 00:00:00 2001 From: "kepler155c@gmail.com" Date: Fri, 18 Jan 2019 08:48:30 -0500 Subject: [PATCH] specify kiosk monitor --- sys/boot/kiosk.boot | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/sys/boot/kiosk.boot b/sys/boot/kiosk.boot index 26b6602..ce76342 100644 --- a/sys/boot/kiosk.boot +++ b/sys/boot/kiosk.boot @@ -4,7 +4,10 @@ local peripheral = _G.peripheral local settings = _G.settings local term = _G.term -local mon = peripheral.find('monitor') +local preferred = settings.get('kiosk.monitor') +local mon = preferred and peripheral.wrap(preferred) or + peripheral.find('monitor') + if mon then term.redirect(mon) mon.setTextScale(tonumber(settings.get('kiosk.textscale')) or 1)