My mistake. After a bit more digging around I've found that it is actually a separate plugin that provides this feature - GNOMETerminalProfiles.dll, which is no longer listed on the Do wiki plugin page. Are 0.6 plugins compatable with 0.8? Do doesn't seem to be seeing the plugin at the moment - it's in ~/.local/share/gnome-do/ plugins
On Feb 3, 11:36 am, cszikszoy <[email protected]> wrote: > I can't really confirm whether or not support for terminal profiles > has changed since we released (I never really used the gnome-terminal > plugin, or terminal profiles), but this blueprint might be of interest > to you:https://blueprints.edge.launchpad.net/do/+spec/core-terminal-features > Basically, there's talk about abstracting the whole terminal-plugin > backend in Do. Doing this would undoubtedly drop support for > profiles, but if there was user support for such a feature, it could > be implemented as a plugin. > > Read over the blueprint and it will give you a clearer look at what's > coming up. If terminal profiles are important to you it would > probably be worth your while to check back here periodically (and on > the LP bug tracker) to see that the various plugin / core devs > implement this feature as a plugin down the road. > > -Chris > > On Feb 3, 2:41 am, mdp <[email protected]> wrote: > > > Sorry, should have mentioned that. I do have the GNOME Terminal plugin > > installed and enabled. I can open a default terminal and use "run in > > terminal". It's just I can't open a terminal by profile name. > > > On Feb 3, 10:32 am, Kalle Persson <[email protected]> wrote: > > > > Hi! > > > > Check the "Plugins" tab in Do preferences (right click the small arrow > > > or the Do icon in the bar if you are using Docky). You should see the > > > plugin "GNOME Terminal". That should provide you with your terminal > > > profiles. > > > > Cheers, > > > Kalle > > > > tis 2009-02-03 klockan 02:29 -0800 skrev mdp: > > > > > Hi, > > > > > I've just upgraded to 0.8 and there looks to be a lot of great new > > > > functionality, unfortunately the thing I use most seems to have > > > > disappeared :-( > > > > > Previously I could open a particular gnome-terminal profile by typing > > > > the profile name. I thought that this functionality was provided by > > > > the GNOME Terminal Plugin. Has this feature been removed, am I missing > > > > some configuration setting or do I need a different plugin? > > > > > Thanks > > > > > Mike --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "GNOME Do" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/gnome-do?hl=en -~----------~----~----~----~------~----~------~--~---
