Debugging OCaml on Ubuntu

A Debian patch breaks OCaml debugging on Ubuntu by messing with the bytecode file format. See /usr/share/doc/ocaml-nox/README.Debian for the fix. Set OCAML_COMPAT=c in .bashrc.

CIL as a Library

https://bitbucket.org/zanderso/cil-template

CIL Notes

• CIL on github: 
  

  http://kerneis.github.com/cil/

• Pass an additional parameter to a plugin (note the '=')

  cilly --dovardecls --pom-path="." ...

• Don't invoke the compiler
  

  CILLY_DONT_COMPILE_AFTER_MERGE=1 cilly ...

• ...

Fixing Low CPU Frequency

My Laptop (Dell Latitude E6520) sometimes gets stuck on the lowest CPU frequency setting. This happens when it is connected to power, suspended, disconnected from power, and resumes. This can be fixed by setting the governor to performance and then back to ondemand.
 

sudo bash -c '
for gov in $(ls /sys/devices/system/cpu/cpu*/cpufreq/scaling_governor); do
  echo performance > $gov;
done'

sudo bash -c '
for gov in $(ls /sys/devices/system/cpu/cpu*/cpufreq/scaling_governor); do
  echo ondemand > $gov;
done'

For some reason this does not work any more. When switching back to ondemand the frequency gets stuck again. As a workaround one can switch to conservative and leave it there.

sudo bash -c '
for gov in $(ls /sys/devices/system/cpu/cpu*/cpufreq/scaling_governor); do
  echo conservative > $gov;
done'

 

Automatic Proxy Settings in Kubuntu

Should try this. However, agt-get settings are missing.

Change Panel Transparency in KDE

In the Air theme the panel background is too transparent. Unfortunately, there is no setting. Themes are in $HOME/.kde/share/apps/desktoptheme/<theme name>.

Tracks on Dreamhost

Instructions on the Dreamhost Wiki don't quite work because much of the pre-installed Ruby stuff is too old. First it is necessary to install an updated version of RubyGems as explained here. Then tere are still problems with gem versions. The final trick is to install ALL ruby gems in your home directory. The GEM_PATH must be changed to refer to a local directory only.

From .bash_profile:

export PATH=$HOME/bin:$PATH
export RUBYLIB="$HOME/lib:$RUBYLIB"
export GEM_PATH=$HOME/.gems