1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
|
#!/usr/bin/env bash
miral_server=miral-shell
gdb=""
bindir=$(dirname $0)
if [ "${bindir}" != "" ]; then bindir="${bindir}/"; fi
terminal=${bindir}miral-terminal
while [ $# -gt 0 ]
do
if [ "$1" == "--help" -o "$1" == "-h" ]
then
echo "$(basename $0) - Handy launch script for a hosted miral \"desktop session\""
echo "Usage: $(basename $0) [options] [shell options]"
echo "Options are:"
echo " -kiosk use miral-kiosk instead of ${miral_server}"
if [ -x "$(which "${bindir}mir_demo_server")" ]
then
echo " -demo-server use mir_demo_server instead of ${miral_server}"
fi
echo " -terminal <terminal> use <terminal> instead of '${terminal}'"
echo " -gdb run under gdb"
exit 0
elif [ "$1" == "-kiosk" ]; then miral_server=miral-kiosk
elif [ "$1" == "-terminal" ]; then shift; terminal=$1
elif [ "$1" == "-demo-server" ]; then miral_server=mir_demo_server
elif [ "$1" == "-gdb" ]; then gdb="gdb -ex run --args"
elif [ "${1:0:2}" == "--" ]; then break
fi
shift
done
if [ "${miral_server}" == "miral-shell" ]
then
# If there's already a compositor for WAYLAND_DISPLAY let Mir choose another
if [ -O "${XDG_RUNTIME_DIR}/${WAYLAND_DISPLAY}" ]
then
unset WAYLAND_DISPLAY
fi
# miral-shell can launch it's own terminal with Ctrl-Alt-T
MIR_SERVER_ENABLE_X11=1 MIR_SERVER_SHELL_TERMINAL_EMULATOR=${terminal} exec ${gdb} ${bindir}${miral_server} $*
else
# miral-kiosk (and mir_demo_server) need a terminal launched, so we need to manage the WAYLAND_DISPLAY etc. here.
port=0
while [ -e "${XDG_RUNTIME_DIR}/wayland-${port}" ]; do
let port+=1
done
wayland_display=wayland-${port}
if [ "${miral_server}" == "miral-kiosk" ]
then
# Start miral-kiosk server with the chosen WAYLAND_DISPLAY
WAYLAND_DISPLAY=${wayland_display} ${bindir}${miral_server} $*&
miral_server_pid=$!
unset DISPLAY
elif [ "${miral_server}" == "mir_demo_server" ]
then
# With mir_demo_server we will get the display saved to this file
x11_display_file=$(mktemp --tmpdir="${XDG_RUNTIME_DIR}")
# Start mir_demo_server with the chosen WAYLAND_DISPLAY
MIR_SERVER_ENABLE_X11=1 WAYLAND_DISPLAY=${wayland_display} ${gdb} ${bindir}${miral_server} $* --x11-displayfd 5 5>${x11_display_file}&
miral_server_pid=$!
if inotifywait -qq --timeout 5 --event close_write "${x11_display_file}" && [ -s "${x11_display_file}" ]
then
# ${x11_display_file} contains the X11 display
export DISPLAY=:$(cat "${x11_display_file}")
rm "${x11_display_file}"
else
echo "ERROR: Failed to get X11 display from ${miral_server}"
rm "${x11_display_file}"
kill ${miral_server_pid}
exit 1
fi
fi
# When the server starts, launch a terminal. When the terminal exits close the server.
until [ -O "${XDG_RUNTIME_DIR}/${wayland_display}" ]
do
if ! kill -0 ${miral_server_pid} &> /dev/null
then
echo "ERROR: ${miral_server} [pid=${miral_server_pid}] is not running"
exit 1
fi
inotifywait -qq --timeout 5 --event create $(dirname "${XDG_RUNTIME_DIR}/${wayland_display}")
done
XDG_SESSION_TYPE=mir GDK_BACKEND=wayland,x11 QT_QPA_PLATFORM=wayland SDL_VIDEODRIVER=wayland WAYLAND_DISPLAY=${wayland_display} NO_AT_BRIDGE=1 ${terminal}
kill ${miral_server_pid}
fi
|
