/usr/bin/miral-app is in mir-demos 0.31.1-0ubuntu1.
This file is owned by root:root, with mode 0o755.
The actual contents of the file can be viewed below.
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 | #! /bin/bash
miral_server=miral-shell
launcher=qterminal
hostsocket=
bindir=$(dirname $0)
qt_qpa=wayland
if [ -n "${MIR_SOCKET}" ]
then
if [ ! -e "${MIR_SOCKET}" ]
then
echo "Error: Host endpoint '${MIR_SOCKET}' does not exist"; exit 1
fi
hostsocket='--host-socket ${MIR_SOCKET}'
fi
socket=${XDG_RUNTIME_DIR}/miral_socket
wayland_display=miral_wayland
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}"
echo " -launcher <launcher> use <launcher> instead of '${launcher}'"
echo " -socket <socket> set the legacy mir socket [${socket}]"
echo " -wayland-socket-name <socket> set the wayland socket [${wayland_display}]"
echo " -bindir <bindir> path to the miral executable [${bindir}]"
echo " -qt-mirclient use ubuntumirclient instead of qtwayland"
exit 0
elif [ "$1" == "-kiosk" ]; then miral_server=miral-kiosk
elif [ "$1" == "-launcher" ]; then shift; launcher=$1
elif [ "$1" == "-socket" ]; then shift; socket=$1
elif [ "$1" == "-wayland-socket-name" ];then shift; wayland_display=$1
elif [ "$1" == "-bindir" ]; then shift; bindir=$1
elif [ "$1" == "-qt-mirclient" ]; then qt_qpa=ubuntumirclient
elif [ "${1:0:2}" == "--" ]; then break
fi
shift
done
if [ "${bindir}" != "" ]; then bindir="${bindir}/"; fi
if [ -e "${socket}" ]; then echo "Error: session endpoint '${socket}' already exists"; exit 1 ;fi
if [ -e "${XDG_RUNTIME_DIR}/${wayland_display}" ]; then echo "Error: wayland endpoint '${wayland_display}' already exists"; exit 1 ;fi
sh -c "${bindir}${miral_server} $* ${hostsocket} --file ${socket} --wayland-socket-name ${wayland_display} --desktop_file_hint=miral-shell.desktop"&
while [ ! -e "${socket}" ]; do echo "waiting for ${socket}"; sleep 1 ;done
unset QT_QPA_PLATFORMTHEME
MIR_SOCKET=${socket} XDG_SESSION_TYPE=mir GDK_BACKEND=wayland,mir QT_QPA_PLATFORM=${qt_qpa} SDL_VIDEODRIVER=wayland WAYLAND_DISPLAY=${wayland_display} NO_AT_BRIDGE=1 dbus-run-session -- ${launcher}
killall ${bindir}${miral_server} || killall ${bindir}${miral_server}.bin
|