File switch-libOpenGL.sh of Package dkms-nvidia
#!/bin/bash
#
# Check rights
#
if ( [ "$EUID" != "0" ] || [ "x$1" == "x" ] ); then
echo "You do not have sufficient privileges to switch the library or did not select an option"
echo
if which sudo &>/dev/null; then
echo "Please run: sudo $0 [ system | nvidia ]"
else
echo "Please run $0 [ system | nvidia ] as root"
fi
echo
exit 1
fi
if [ "x$1" == "xsystem" ] && [ -f /usr/lib64/libOpenGL.so.0.0.0.backup ] ; then
echo "Switch libOpenGL back to system"
#
# Switch back to System
#
rm -f /usr/lib64/libOpenGL.so.0.0.0
mv -f /usr/lib64/libOpenGL.so.0.0.0.backup /usr/lib64/libOpenGL.so.0.0.0
elif [ "x$1" == "xnvidia" ] ; then
echo "Switch libOpenGL to nvidia"
#
# Switch to nVidia
#
mv -f /usr/lib64/libOpenGL.so.0.0.0 /usr/lib64/libOpenGL.so.0.0.0.backup
ln -sf /usr/lib64/nvidia/libOpenGL.so.0.0.0 /usr/lib64/libOpenGL.so.0.0.0
else
echo "No switch"
fi