Using a --profile with a space in its name doesn't work
Bug #238518 reported by
Raphaël Hertzog
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| Terminator |
Fix Released
|
High
|
Chris Jones | ||
Bug Description
In gnome-terminal I have a profile called "Grande police". When I try terminator -p "Grance police" the corresponding profile is _not_ used. I tried creating a profile named "test" based on "Grance police" and with this one it worked well. So I guess the problem lies in the space embedded in the profile name.
Revision history for this message
| Chris Jones (cmsj) wrote | #1 |
| Changed in terminator: | |
| importance: | Undecided → High |
| milestone: | none → 0.9 |
| status: | New → Confirmed |
Revision history for this message
| Chris Jones (cmsj) wrote | #2 |
| Changed in terminator: | |
| assignee: | nobody → cmsj |
| status: | Confirmed → Fix Committed |
Revision history for this message
| Chris Jones (cmsj) wrote | #3 |
| Changed in terminator: | |
| status: | Fix Committed → Fix Released |
To post a comment you must log in.
Ooh, this is a very interesting bug. I'm pretty sure we can fix this with a custom callback in the options parsing code. Thanks for the report!