On Thu, Nov 18, 2010 at 1:23 AM, Javier Barroso <[email protected]> wrote:
> Hi,
> On Wed, Nov 17, 2010 at 10:42 PM, Stefano Zacchiroli <[email protected]> wrote:
>> On Wed, Nov 17, 2010 at 02:55:36PM +0100, Javier Barroso wrote:
>>> Two wishlist bugs:
>>>
>>> 1. Mod+r visible (like Mod+x?) (or Alt-f2 in gnome)
>>
>> In fact, I already had that in my configuration, but it was not shipped
>> as part of the applet. My trick for that is using "gnome-panel-control
>> --run-dialog", where "gnome-panel-control" is a tiny teeny utility
>> shipped (unfortunately) as part of openbox. I had the obvious keybinding
>> in my ~/.config/awesome/rc.lua.
>>
>> As most applet users will probably want something similar, I've now
>> moved it into gnome-applet.lua, so you can now just add the following to
>> your configuration file:
>>
>>    awful.key({ modkey,           }, "x",     gnome_lua_prompt)
>>
>> It's committed in Git.
>>
>> The dependency on openbox is relaxable, by invoking the corresponding X
>> mechanism to request the panel to pop-up a run dialog (sorry for the
>> misnomer here, but I don't know the X communication technology used for
>> that), which is actually what gnome-panel-control does. I'll get to that
>> eventually; in the meantime you'll need to install openbox to get the
>> command-line utility.
>>
>>> 2. Adding gnome + awesome in to display managers (gdm, kdm, xdm, slim
>>> ...)  menu (like bluetile do)
>>
>> I've no idea how to do that yet.
>> Investigations and pointers are welcome.
> I'm attaching a patch which integrate gdm at least with this applet.
Ough, I failed, git diff didn't give me new files :(

So to complete the patch two files are needed in root directory:

$ cat gnome-awesome-session
WINDOW_MANAGER=awesome gnome-session
$ cat gnome-awesome.desktop
[Desktop Entry]
Encoding=UTF-8
Name=GNOME + awesome
Comment=awesome² window manager
Exec=/usr/bin/gnome-awesome-session
Icon=bluetile.png
Type=XSession

Sorry I'm newbie with git ... and didn't check this issue before
sending the patch

Regards,

--
To unsubscribe, send mail to [email protected].

Reply via email to