Lines Matching refs:system
72 system=arch
74 system=redhat
76 system=debian
78 system=suse
80 system=gentoo
82 system=lfs
84 system=other
87 if [ "$system" = "arch" ]; then
103 if [ "$system" = "redhat" ]; then
118 if [ "$system" = "suse" ]; then
133 if [ "$system" = "gentoo" ]; then
153 if [ "$system" = "lfs" ]; then
166 if [ "$system" = "debian" -o "$system" = "other" ]; then
185 if [ "$system" = "gentoo" ]; then
352 test "$system" = "redhat" && test -z "${vmsvga}" || setupxorgconf=""
357 test "$system" = "redhat" && test -z "${vmsvga}" || setupxorgconf=""
363 test "$system" = "redhat" && test -z "${vmsvga}" || setupxorgconf=""
369 test "$system" = "redhat" && test -z "${vmsvga}" || setupxorgconf=""
385 test "$system" = "suse" && setupxorgconf=""
475 test "$system" = "debian" -a -d /usr/share/xserver-xorg/pci &&
518 You may need to restart the the Window System (or just restart the guest system)
547 # completely irrelevant on the target system.