configuration for awesome window manager