blob: 0e6161fc2f38443a76d02be21ce07f42271f75d9 (
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
|