| {-# LANGUAGE GADTs #-} | |
| {-# LANGUAGE ImplicitParams #-} | |
| {-# LANGUAGE TypeFamilies #-} | |
| module Assert | |
| ( assertProperty | |
| , initialAssume | |
| , getReset | |
| ) where | |
| import Clash.Prelude |
https://github.com/aancel/admin/wiki/VirtualGL-on-Ubuntu
https://virtualgl.org/About/Introduction
When you use ssh with X forwarding, you might have noticed that you cannot execute programs that require 3D acceleration. That's where VirtualGL comes into play.
| #!/bin/bash | |
| # cool_gpu2.sh This script will enable or disable fixed gpu fan speed | |
| # | |
| # Description: A script to control GPU fan speed on headless (non-X) linux nodes | |
| # Original Script by Axel Kohlmeyer <akohlmey@gmail.com> | |
| # https://sites.google.com/site/akohlmey/random-hacks/nvidia-gpu-coolness | |
| # | |
| # Modified for newer drivers and removed old work-arounds |