terminal prefs and phpbrew v0.2