#!/bin/sh
# Wires up the isolated /opt/gnome51 runtime environment, then runs the
# real gnome-session from there. Never touches anything under /usr.
PREFIX=/opt/gnome51
export PATH="$PREFIX/bin:$PATH"
export LD_LIBRARY_PATH="$PREFIX/lib${LD_LIBRARY_PATH:+:$LD_LIBRARY_PATH}"
export XDG_DATA_DIRS="$PREFIX/share:/usr/share${XDG_DATA_DIRS:+:$XDG_DATA_DIRS}"
export GI_TYPELIB_PATH="$PREFIX/lib/girepository-1.0${GI_TYPELIB_PATH:+:$GI_TYPELIB_PATH}"
exec "$PREFIX/bin/gnome-session" "$@"
