Community Packages

Please read this before reporting a bug:
https://wiki.archlinux.org/title/Bug_reporting_guidelines

Do NOT report bugs when a package is just outdated, or it is in the AUR. Use the 'flag out of date' link on the package page, or the Mailing List.

REPEAT: Do NOT report bugs for outdated packages!
Tasklist

FS#34927 - [gnome-do-plugins] PLEASE ENTER SUMMARY

Attached to Project: Community Packages
Opened by Yuanjie Huang (yuanjie.huang) - Wednesday, 24 April 2013, 06:44 GMT
Last edited by Balló György (City-busz) - Wednesday, 24 April 2013, 12:51 GMT
Task Type Bug Report
Category Packages
Status Closed
Assigned To No-one
Architecture All
Severity Low
Priority Normal
Reported Version
Due in Version Undecided
Due Date Undecided
Percent Complete 100%
Votes 0
Private No

Details

Description:
GNOME Terminal plugin fail to launch Terminal with profile name.

Additional info:
gnome-terminal 3.8.1-1

Steps to reproduce:
1. create a profile with any name, for example, 'profile_foo'
2. enable GNOME Terminal plugin in GNOME Do
3. launch GNOME Do and type 'profile_foo', press Enter key
4. nothing happend

The bug was caused by GNOME Terminal 3.8's changes on command line options. '--window-with-profile=' is no longer used, we just need to modify a line to fix this:

@@ -73,7 +73,7 @@ namespace GNOME.Terminal
public void Open ()
{
try {
- string args = string.Format ("--window-with-profile=\"{0}\"", Name);
+ string args = string.Format ("--window --profile=\"{0}\"", Name);
Process.Start ("gnome-terminal", args);
} catch (Exception e) {
Log<ProfileItem>

This task depends upon

Closed by  Balló György (City-busz)
Wednesday, 24 April 2013, 12:51 GMT
Reason for closing:  Duplicate
Additional comments about closing:   FS#34928 

Loading...