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 -~----------~----~----~----~------~----~------~--~---
