#!/bin/zsh
echo "$HOST"
if [[ $HOST == *dvzrv* ]]; then
  echo "/usr/bin/sclang"
  /usr/bin/sclang "$@"
else
  echo "/usr/bin/sclang in fake X screen"
  /usr/bin/xvfb-run --server-args="-screen 0, 1280x800x24" /usr/bin/sclang "$@"
fi