blob: 5893bb35a141dfb206edb5e38b2bd3abeac059a7 (
plain)
1
2
3
4
5
6
7
8
9
|
#!/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
|