#!/bin/bash

if ! pidof gnome-terminal-server >/dev/null; then
  echo -------------- >> /tmp/g-t-s.log
  GNOME_TERMINAL_DEBUG=all /usr/lib/gnome-terminal/gnome-terminal-server >>/tmp/g-t-s.log 2>&1 &
  sleep 0.2
fi
exec /usr/bin/gnome-terminal "$@"
