After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 780848 - Rename Run Output to Runtime Output
Rename Run Output to Runtime Output
Status: RESOLVED FIXED
Product: gnome-builder
Classification: Other
Component: general
Flatpak Nightly Channel
Other Linux
: Normal minor
: ---
Assigned To: GNOME Builder Maintainers
GNOME Builder Maintainers
Depends on:
Blocks:
 
 
Reported: 2017-04-02 17:21 UTC by Peter Sonntag
Modified: 2017-04-06 20:25 UTC
See Also:
GNOME target: ---
GNOME version: ---


Attachments
Patch to change name (1.05 KB, patch)
2017-04-06 20:22 UTC, Peter Sonntag
committed Details | Review

Description Peter Sonntag 2017-04-02 17:21:14 UTC
I personally would suggest that "Runtime Output" would be a better titel for the "Run Output".

What do you think?
Comment 1 Christian Hergert 2017-04-02 20:36:52 UTC
I can't speak as to what the best wording choice is for German and other languages, but Runtime does not seem accurate for en_US.

MonoDevelop uses "Application Output" here, and Eclipse uses "Console" if I'm understanding the screenshots correctly. "Application Output" doesn't seem so bad.
Comment 2 Peter Sonntag 2017-04-03 04:55:44 UTC
"Application Output" sound also great. Don't worry about the German translation, but the en_US is the basis for the translation ;-)

As I have never used git before I'd use this to to learn how to commit a patch.
Comment 3 Christian Hergert 2017-04-03 05:31:24 UTC
(In reply to Peter Sonntag from comment #2)
> As I have never used git before I'd use this to to learn how to commit a
> patch.

git clone https://git.gnome.org/browse/gnome-builder.git
cd gnome-builder/plugins/terminal/
$EDITOR gb-terminal-workbench-addin.c
git add gb-terminal-workbench-addin.c
git commit

give it a short summary, starting with the plugin name like:

  terminal: change "Run Output" to "Application Output"

  a short summary here.

Then create a patch like:

git format-patch HEAD^

it will write 0001-terminal-....patch to the local directory. Attach that to this bug report.

Another option, in the future, is to use git-bz to simplify this a bunch. But best to try it the "manual" way first :)
Comment 4 Peter Sonntag 2017-04-06 20:22:11 UTC
Created attachment 349414 [details] [review]
Patch to change name

My first patch ;-)
Comment 5 Christian Hergert 2017-04-06 20:23:57 UTC
Review of attachment 349414 [details] [review]:

Perfect, thanks!
Comment 6 Christian Hergert 2017-04-06 20:25:10 UTC
Thanks for learning git to do this!
Comment 7 Peter Sonntag 2017-04-06 20:25:49 UTC
Thanks for teaching!!