/usr/bin/miral-run 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 | #!/bin/sh
if [ -e "${XDG_RUNTIME_DIR}/miral_socket" ];
then
mir_socket=${XDG_RUNTIME_DIR}/miral_socket
elif [ -e "${XDG_RUNTIME_DIR}/mir_socket" ];
then
mir_socket=${XDG_RUNTIME_DIR}/mir_socket
else
echo "Error: Cannot detect Mir endpoint"; exit 1
fi
if [ -e "${XDG_RUNTIME_DIR}/miral_wayland" ];
then
wayland_socket=miral_wayland
elif [ -e "${XDG_RUNTIME_DIR}/wayland-1" ]
then
wayland_socket=wayland-1
elif [ -e "${XDG_RUNTIME_DIR}/wayland-0" ]
then
wayland_socket=wayland-0
else
echo "Error: Cannot detect Mir-Wayland endpoint"; exit 1
fi
if [ "$1" = "gnome-terminal" ]
then extras='--app-id com.canonical.miral.Terminal'
fi
unset QT_QPA_PLATFORMTHEME
if [ "$1" = "gdb" ]
then
MIR_SOCKET=${mir_socket} WAYLAND_DISPLAY=${wayland_socket} XDG_SESSION_TYPE=mir GDK_BACKEND=wayland,mir QT_QPA_PLATFORM=wayland SDL_VIDEODRIVER=wayland NO_AT_BRIDGE=1 "$@" ${extras}
else
MIR_SOCKET=${mir_socket} WAYLAND_DISPLAY=${wayland_socket} XDG_SESSION_TYPE=mir GDK_BACKEND=wayland,mir QT_QPA_PLATFORM=wayland SDL_VIDEODRIVER=wayland NO_AT_BRIDGE=1 "$@" ${extras}&
fi
|