#!/bin/sh # fix Ubuntu-specific problems: unset UBUNTU_MENUPROXY unset GTK_MODULES env \ BB_PRIMARY_DIR="../../Linux_GUI" BB_SECONDARY_DIR="$PWD" \ ../../Linux_GUI/blackbox
