#!/bin/sh
set -e
echo "Desktop environment: XDG_CURRENT_DESKTOP=$XDG_CURRENT_DESKTOP" >&3