First option in HUD is 'Help - Report a problem', that is why terminal itself
didn't crash, but bugs was reported.
Profile Presferences can be opened using 'profile p' query.
Closing this as Invalid
** Changed in: gnome-terminal (Ubuntu)
Status: Incomplete = Invalid
--
You received
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/954977
Title:
setting profile preferences and trying HUD I got crash message
To manage notifications about this bug go to:
Thank you for taking the time to report this bug and helping to make
Ubuntu better. Unfortunately, we cannot work on this bug because your
description didn't include enough information. You may find it helpful
to read How to report bugs effectively
It took a while to figure out the exact steps, but here they are:
1. Open a terminal.
2. Invoke HUD by hitting Alt
3. Type pr
4. Choose Profile preferences
5. Hit enter
The window appears but also apports start collecting information on
crash.
--
You received this bug notification because you